Automatic test case generation from relational algebra queries
Authors:
- W.T. TsaiWTW.T. Tsai
- D. VolovikDVD. Volovik
- T.F. KeefeTKT.F. Keefe
- M.E. FayadMFM.E. Fayad
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Rapid Prototyping and Solid Free Form FabricationJournal of Manufacturing Science and Engineering, 1997
- Process-translatable Petri nets for the rapid prototyping of process control systemsIEEE Transactions on Software Engineering, 1986
- Specification directed module testingIEEE Transactions on Software Engineering, 1986
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985
- A survey of Application GeneratorsIEEE Software, 1985
- Software Prototyping using the SETL Programming LanguageIEEE Software, 1984
- Verifying and Validating Software Requirements and Design SpecificationsIEEE Software, 1984
- The programmer's workbench—a machine for software developmentCommunications of the ACM, 1977
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976