"Handling combinatorial explosion in software testing" - читать интересную книгу автора (by Mats Grindal.)