Inputcovering schedules for multithreaded programs (2013)

by T Bergan, L Ceze, D Grossman
Venue:In Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA ’13