Repair of Boolean Programs with an Application to C

DOI10.1007/11817963_33MaRDI QIDQ5756732zbMATH OpenOpenAlexFDO

Authors Andreas Griesmayer, Roderick Bloem, Byron Cook

Publication date 5 September 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817963_33

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Aided Verification
• Program repair without regret
• Finding and fixing faults
• Sound and complete mutation-based program repair
• scientific article; zbMATH DE number 1982200

Cited in

(10)

• Repairing decision-making programs under uncertainty
• Sound and complete mutation-based program repair
• Specification-based program repair using SAT
• Finding and fixing faults
• scientific article; zbMATH DE number 1982200 (Why is no real title available?)
• Assume, guarantee or repair
• Computer Aided Verification
• Toward a theory of program repair
• Automatic WSTS-based repair and deadlock detection of parameterized systems
• Program repair without regret

This page was built for publication: Repair of Boolean Programs with an Application to C

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756732)