for "Constraint-Based Automatic Test Data Generation". (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.)
Moheb R. GirgisPublished in: IEEE Trans. Software Eng. (1993)
Keyphrases
- ieee trans
- test data generation
- test cases
- simulated annealing algorithm
- symbolic execution
- software testing
- test case generation
- search based testing
- generation algorithm
- test suite
- software systems
- artificial intelligence
- real world
- machine intelligence
- databases
- fitness function
- software development
- software engineering
- high level