uwsampa / inputcovsched Goto Github PK
View Code? Open in Web Editor NEWThis 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)".