Optimal strategies for testing nondeterministic systems (2004)

by L Nachmanson, M Veanes, W Schulte, N Tillmann, W Grieskamp
Venue:In International Symposium on Software Testing and Analysis