Functional Test Generation using Constraint Logic Programming.
Zhihong ZengMaciej J. CiesielskiBruno RouzeyrePublished in: VLSI-SOC (2001)
Keyphrases
- constraint logic programming
- test generation
- constraint solving
- test cases
- logic programming language
- answer set programming
- symbolic execution
- logic programming
- constraint programming
- design automation
- constraint propagation
- software testing
- programming paradigms
- static analysis
- temporal reasoning
- quality assurance
- general purpose
- database
- quality assessment
- high level
- code coverage
- artificial intelligence