Symbolic Test Case Generation for Primitive Recursive Functions.
Achim D. BruckerBurkhart WolffPublished in: FATES (2004)
Keyphrases
- recursive functions
- test case generation
- inductive inference
- test cases
- software testing
- object oriented systems
- test data generation
- high level
- test suite
- static analysis
- java programs
- data sets
- software maintenance
- positive and negative
- software systems
- simulated annealing
- decision trees
- feature selection
- genetic algorithm
- real world