Automatic program repair using formal verification and expression templates

DOI10.1007/978-3-030-11245-5_4OpenAlexW2909089478MaRDI QIDQ2287071

Wei-Ngan Chin, Thanh-Toan Nguyen, Quang-Trung Ta

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_4

Mathematics Subject Classification ID

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

Related Items (2)

Automated program repair using formal verification techniques ⋮ Automated repair of heap-manipulating programs using deductive synthesis

Uses Software

• Maple

This page was built for publication: Automatic program repair using formal verification and expression templates