Quantifying the Characteristics of Java Programs That May Influence Symbolic Execution from a Test Data Generation Perspective.
Marcelo Medeiros ElerAndré Takeshi EndoVinicius H. S. DurelliPublished in: COMPSAC (2014)
Keyphrases
- test data generation
- symbolic execution
- test case generation
- java programs
- test cases
- simulated annealing algorithm
- test suite
- software testing
- generation algorithm
- static analysis
- test generation
- software components
- specification language
- fitness function
- multi threaded
- source code
- simulated annealing
- genetic algorithm
- data flow
- data sets
- test set