uwsampa/inputcovsched

Name: inputcovsched

Owner: Sampa

Description: 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)".

Created: 2017-08-08 19:42:28.0

Updated: 2017-08-08 19:47:54.0

Pushed: 2017-08-08 19:44:56.0

Homepage:

Size: 15826

Language: C

GitHub Committers

UserMost Recent Commit# Commits

Other Committers

UserEmailMost Recent Commit# Commits

README

null

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.