On module-based abstraction and repair of behavioral programs

DOI10.1007/978-3-642-45221-5_35MaRDI QIDQ2870151zbMATH OpenOpenAlexFDO

Authors Guy Katz

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45221-5_35

zbMATH Keywords

abstraction-refinementbehavioral programmingprogram repair

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Automatic program repair using formal verification and expression templates
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring
• Abstract Model Repair
• Program repair without regret

Cited in

(1)

• Modular software fault isolation as abstract interpretation

This page was built for publication: On module-based abstraction and repair of behavioral programs

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