Handling combinatorial explosion in software testing by Mats Grindal | Menrva Books