product is free of any flaws specific to that property.
u Source Code Fault Injection: A form of dynamic analysis in which the
source code is “instrumented” by inserting changes, then compiling
and executing the instrumented code to observe the changes in state