Random Test Data Generation for Java Classes Annotated with JML Specifications.
Yoonsik CheonCarlos E. Rubio-MedranoPublished in: Software Engineering Research and Practice (2007)
Keyphrases
- test data generation
- test cases
- search based testing
- symbolic execution
- simulated annealing algorithm
- source code
- generation algorithm
- software testing
- high level
- particle swarm optimization
- object oriented
- test generation
- test case generation
- databases
- software systems
- test data
- specification language
- open source
- software engineering
- artificial neural networks