Detecting Inconsistent Values Caused by Interaction Faults Using Automatically Located Implicit Redundancies | IEEE Conference Publication | IEEE Xplore