Automatic Program Repair Using Formal Verification and Expression Templates.

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

Published in: VMCAI (2019)

Keyphrases

formal verification
program slicing
model checking
model checker
bounded model checking
automated verification
fully automatic
symbolic model checking
semi automatic
open source
dynamical systems
fault localization