Compositional CLP-Based Test Data Generation for Imperative Languages.
Elvira AlbertMiguel Gómez-ZamalloaJosé Miguel RojasGermán PueblaPublished in: LOPSTR (2010)
Keyphrases
- test data generation
- search based testing
- test cases
- simulated annealing algorithm
- symbolic execution
- constraint logic programming
- software testing
- test case generation
- generation algorithm
- constraint programming
- test generation
- transactional memory
- database systems
- logic programming
- neural network
- database
- databases
- data sets