Takao Shimomura Y. Oki T. Chikaraishi T. Ohta An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. 191-203 1995 AADEBUG db/conf/aadebug/aadebug95.html#ShimomuraOCO95