Preamble computation in automated test case generation using constraint logic programming.
Séverine ColinBruno LegeardFabien PeureuxPublished in: Softw. Test. Verification Reliab. (2004)
Keyphrases
- constraint logic programming
- test case generation
- constraint solving
- answer set programming
- logic programming
- test cases
- constraint programming
- test data generation
- software testing
- object oriented systems
- temporal reasoning
- java programs
- databases
- constraint propagation
- constraint satisfaction problems
- test suite