Test data generation for programming exercises with symbolic execution in Java PathFinder.
Petri IhantolaPublished in: Koli Calling (2006)
Keyphrases
- symbolic execution
- programming exercises
- test data generation
- automatic assessment
- object oriented programming
- learning tools
- test cases
- simulated annealing algorithm
- computer programming
- software testing
- programming concepts
- database design
- generation algorithm
- object oriented
- programming language
- test generation
- fitness function
- simulated annealing
- case study
- static analysis
- source code
- specification language
- programming course
- genetic algorithm
- knowledge management
- web services