A Fault-Based Model Of Fault Localization Techniques