Rule-based system validation through automatic identification of equivalence classes
Gary W. Rosenwald, Chen‐Ching Liu · IEEE Transactions on Knowledge and Data Engineering · 1997
The proposed validation method identifies equivalence classes for fundamental tasks in a rule based system to help identify incorrect knowledge and rule inconsistencies. The proposed method validates the entire input domain of a pre existing rule based system by using symbolic execution to determine the conditions under which tasks may be instantiated.