Lightweight Fault Localization with Abstract Dependences

Locating faults is one of the most time consuming tasks in today´s fast paced economy. Testing and formal verification techniques like model-checking are usually used for detecting faults but do not attempt to locate the root-cause for the detected faulty behavior. This article makes use of abstract dependences between program variables for locating faults in programs. We discuss the basic ideas, the underlying theory, and first experimental results, as well our model´s limitations. Our fault localization model is based on a previous work that uses the abstract dependences for fault detection. First case studies indicate our model´s practical applicability