Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring

DOI10.1145/3536430zbMATH Open1522.68300OpenAlexW4280651663MaRDI QIDQ6136746FDOQ6136746

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

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

zbMATH Keywords

model checkingB-methodautomated model repairrepair evaluator training

Mathematics Subject Classification ID

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

Cited In (3)

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

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)