A CLP heap solver for test case generation.
Elvira AlbertMaria J. García de la BandaMiguel Gómez-ZamalloaJosé Miguel RojasPeter J. StuckeyPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- test case generation
- test cases
- constraint logic programming
- constraint solving
- software testing
- object oriented systems
- data structure
- test data generation
- test suite
- java programs
- software systems
- constraint programming
- software maintenance
- artificial intelligence
- static analysis
- constraint propagation
- pattern matching
- test set
- source code
- relational databases
- neural network