DMCA

Optimal strategies for testing nondeterministic systems (2004)

by Lev Nachmanson , Margus Veanes , Wolfram Schulte , Nikolai Tillmann , Wolfgang Grieskamp
Venue:In ISSTA’04, volume 29 of Software Engineering Notes
Citations:25 - 6 self