Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring

DOI10.1145/3536430MaRDI QIDQ6136746zbMATH OpenOpenAlexFDO

Authors Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin-Song Dong, Scott Uk-Jin Lee

Publication date 31 August 2023

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3536430

zbMATH Keywords

model checkingB-methodautomated model repairrepair evaluator training

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic program repair using formal verification and expression templates
• Automated repair for timed systems
• Enhancing model checking in verification by AI techniques
• Abstract Model Repair
• Automated repair of heap-manipulating programs using deductive synthesis

Cited in

(3)

• Automatic program repair using formal verification and expression templates
• On module-based abstraction and repair of behavioral programs
• Rate lifting for stochastic process algebra by transition context augmentation

This page was built for publication: Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring

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