Applying Constraint Logic Programming to SQL Test Case Generation.
Rafael CaballeroYolanda García-RuizFernando Sáenz-PérezPublished in: FLOPS (2010)
Keyphrases
- constraint logic programming
- test case generation
- constraint solving
- test cases
- logic programming
- answer set programming
- constraint programming
- software testing
- query language
- database
- constraint propagation
- test data generation
- temporal reasoning
- relational databases
- test suite
- object oriented systems
- database design
- constraint satisfaction
- machine learning
- databases
- building blocks
- development process
- artificial intelligence