Input-covering schedules for multithreaded programs.

Tom Bergan, Luis Ceze, Dan Grossman

Browse the full OOPSLA paper archive.