[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Optimal strategies for testing nondeterministic systems
Nachmanson, Lev, Veanes, Margus, Schulte, Wolfram, Tillmann, Nikolai, Grieskamp, WolfgangYear:
2004
Language:
english
DOI:
10.1145/1007512.1007520
File:
PDF, 225 KB
english, 2004