Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.
Elvira AlbertPuri ArenasMiguel Gómez-ZamalloaJosé Miguel RojasPublished in: SFM (2014)
Keyphrases
- test data generation
- symbolic execution
- test case generation
- test cases
- simulated annealing algorithm
- software testing
- static analysis
- test generation
- data flow
- database
- fitness function
- simulated annealing
- database systems
- particle swarm optimization algorithm
- test suite
- software systems
- generation algorithm
- case study
- decision trees
- data sets