Optimal strategies for testing nondeterministic systems.

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

Browse the full ISSTA paper archive.