A Debugging Algorithm in Equivalent Transformation Model Using Oracle Rules

A debugging algorithm in equivalent transformation model is proposed. The proposed algorithm returns a bug rule in a program by receiving new rules from oracles (oracle rules). We construct a theory about correctness of the proposed algorithm. Moreover we present two strategies for selecting a part of computational states which an oracle rule transforms.