Automatic Error Detection Techniques Based on Dynamic Invariants THESIS submitted in partial fulfillment of the requirements for the degree of MASTER OF
Empirical evaluation of the tarantula automatic fault-localization technique