Optimal strategies for testing nondeterministic systems
Nachmanson, Lev, Veanes, Margus, Schulte, Wolfram, Tillmann, Nikolai, Grieskamp, WolfgangVolume:
29
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1013886.1007520
Date:
July, 2004
File:
PDF, 225 KB
english, 2004