Interaction Coverage Meets Path Coverage by SMT Constraint Solving.

Wolfgang Grieskamp Xiao Qu Xiangjun Wei Nicolas Kicillof Myra B. Cohen

Published in: TestCom/FATES (2009)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
search algorithm
object oriented
constraint satisfaction