Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
Crossref DOI link: https://doi.org/10.1007/s10703-015-0237-0
Published Online: 2015-11-13
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chaki, Sagar
Gurfinkel, Arie
Strichman, Ofer
Funding for this research was provided by:
U.S. Department of Defense (FA8721-05-C-0003)
Text and Data Mining valid from 2015-11-13
Version of Record valid from 2015-11-13
Article History
First Online: 13 November 2015