Login / Signup
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs.
Si-Mohamed Lamraoui
Shin Nakajima
Published in:
ICFEM (2014)
Keyphrases
</>
fault localization
imperative programs
model based diagnosis
program understanding
software testing
case study
fault detection
dynamic logic