A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non-predetermined number of duplicate...http://www.google.de/patents/US7266534?utm_source=gb-gplus-sharePatent US7266534 - System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems
