[Extended propagation analysis] EPA uses the injection of artificial faults--both … EPA does not worry about correctness. Instead, it … EPA takes as its input a program, an … [input] profile, and a description of unsafe or unacceptable outcomes [a predicate of the outputs]. EPA returns … places in the program where it has discovered … [p. 75] A simulated infection occurs when some data … is forced to some new value.
Google-1
Google-2
Copyright clearance needed for quotation.