Test Case Generation by Contract Mutation in Spec#.
Willibald KrennBernhard K. AichernigPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- test case generation
- test cases
- software testing
- object oriented systems
- test data generation
- genetic algorithm
- evolutionary algorithm
- benchmark suite
- differential evolution
- fitness function
- test suite
- genetic algorithm ga
- simulated annealing algorithm
- java programs
- mutation operator
- crossover operator
- software systems
- database
- software development
- supply chain
- object oriented
- learning algorithm
- test set
- optimization algorithm
- genetic programming
- training data
- decision trees
- real world