Constraint Reasoning in Path-Oriented Random Testing.

Arnaud Gotlieb Matthieu Petit

Published in: COMPSAC (2008)

Keyphrases

constraint reasoning
constraint propagation
temporal constraints
temporal reasoning
randomly distributed
path consistency
arc consistency
shortest path
constraint satisfaction
constraint programming
optimal path
database
low level
search space
expert systems
high level
knowledge base