“…Constraint-Based Testing (CBT) was introduced fifteen years ago in the context of mutation testing [1] to model processes of test case generation using constraint solving techniques. Since then it has been continuously developed to cover several applications area including hardware verification [2,3], test data generation for structural testing [4,5,6,7] and functional testing [8,9], counterexample generation [10,11], or software verification [12,4,8]. Among the tools that implement the CBT approach, InKa [13,14], ATGen [15] and PathCrawler [5] are automated test data generators based on constraint propagation over finite domains.…”