Using a constraint satisfaction formulation and solution techniques for random test program generation

E. Bin, R. Emek, G. Shurek, A. Ziv
2002 IBM Systems Journal  
A constraint satisfaction problem consists of a finite set of variables and a set of constraints. Each variable is associated with a set of possible values, known
doi:10.1147/sj.413.0386 fatcat:kabz7p7x4jc5rnym3i25drrw2q