A Constraint Logic Programming Approach to Automated Testing.

Hakim Belhaouari Frédéric Peschanski

Published in: ICLP (2008)

Keyphrases

constraint logic programming
constraint solving
logic programming language
logic programming
constraint programming
answer set programming
temporal reasoning
constraint propagation
global constraints
finite domain
database
database systems
natural language
test cases
constraint solver