particularly useful for detecting the incorrect use of pointers and
arrays, and the presence of dangerous calls and race conditions. Fault
injection is a complex testing process and thus tends to be limited to
code that requires very high assurance.