and behavior that emerge when the instrumented portions of code are
executed. In this way, the tester can determine and even quantify how
the software reacts when it is forced into anomalous states, such as
those triggered by intentional faults. This technique has proved