Model-based test case generation using symbolic execution.
Kazuki MunakataSusumu TokumotoTadahiro UeharaPublished in: JAMAICA@ISSTA (2013)
Keyphrases
- test data generation
- test case generation
- symbolic execution
- test cases
- simulated annealing algorithm
- software testing
- static analysis
- generation algorithm
- test generation
- simulated annealing
- fitness function
- test suite
- database
- specification language
- model checking
- source code
- multi agent systems
- object oriented systems
- search algorithm
- artificial intelligence
- neural network