A Debugging Algorithm in Equivalent Transformation Model Using Oracle Rules
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi · 2009
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.