Regression-Free Synthesis for Concurrency
- 1 January 2014
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Inductive data flow graphsPublished by Association for Computing Machinery (ACM) ,2013
- Partial Orders for Efficient Bounded Model Checking of Concurrent SoftwarePublished by Springer Science and Business Media LLC ,2013
- Efficient Synthesis for Concurrency by Semantics-Preserving TransformationsPublished by Springer Science and Business Media LLC ,2013
- Program Repair without RegretLecture Notes in Computer Science, 2013
- Logical Concurrency Control from Sequential ProofsLecture Notes in Computer Science, 2010
- Automatic Generation of Local Repairs for Boolean ProgramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Race directed random testing of concurrent programsPublished by Association for Computing Machinery (ACM) ,2008
- Inferring locks for atomic sectionsPublished by Association for Computing Machinery (ACM) ,2008
- Repair of Boolean Programs with an Application to CLecture Notes in Computer Science, 2006
- Program Repair as a GameLecture Notes in Computer Science, 2005