Detecting Incorrect Rules Automatically in Equivalent Transformation Programs

In the equivalent transformation computation model, a program (called an ET program) is a set of rules for meaning-preserving transformation of problems. In this paper we propose a method for automatically detecting incorrect rules in a given ET program.