A Fault Localization Approach Derived From Testing-based Formal Verification.

Rong Wang Shaoying Liu Yuji Sato

Published in: ICECCS (2020)

Keyphrases

formal verification
program slicing
fault localization
model checking
software testing
model checker
symbolic model checking
bounded model checking
automated verification
model based diagnosis
program understanding
fault detection
temporal logic
neural network
test cases