Login / Signup

A Formula-Based Approach for Automatic Fault Localization of Imperative Programs.

Si-Mohamed LamraouiShin Nakajima
Published in: ICFEM (2014)
Keyphrases
  • fault localization
  • imperative programs
  • model based diagnosis
  • program understanding
  • software testing
  • case study
  • fault detection
  • dynamic logic