This code formed the basis of "Input-Covering Schedules for Multithreaded Programs (OOPSLA 2013)" and "Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts (OOPSLA 2014)". - View it on GitHub