u Fault Propagation Analysis: This involves two techniques for fault
injection of source code: extended propagation analysis and interface
propagation analysis. The objective is not only to observe individual
state changes that result from a given fault, but to trace how those state