An information flow model of fault detection
Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke · 1993
RELAY is a model of how a fault causes a failure on execution of some test datum. This process begins with introduction of an original state potential failure at a fault location and continues as the potential failure(s) transfers to output. Here we describe the second stage of this process, transfer of an incorrect intermediate state from a faulty statement to output.