Test Generation using the Constraint Logic Programming Language CHIP.
Helmut SimonisPublished in: ICLP (1989)
Keyphrases
- test generation
- logic programming language
- logic programming
- constraint logic programming
- test cases
- constraint solving
- inference rules
- situation calculus
- design automation
- static analysis
- quality assurance
- knowledge representation
- global constraints
- code coverage
- software testing
- circuit design
- database
- constraint programming
- programming language
- multi agent systems
- data sets