The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all...http://www.google.de/patents/US7865339?utm_source=gb-gplus-sharePatent US7865339 - Formal methods for test case generation
