Testing Nondeterminate Systems.

Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell

Browse the full ISSRE paper archive.