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

Si-Mohamed Lamraoui, Shin Nakajima

Browse the full ICFEM paper archive.