A library of failure regions

the long version

A failure region is the set of all possible program inputs that will execute a specific fault and produce a result that varies from the specified or expected program result. The purpose of this report is to document a set of failure regions corresponding to the known faults in a set of redundant program versions. Each failure region is characterized in two ways: by identifying the fault that it reveals and by identifying the boolean conditions necessary and sufficient to consider a program input to be a member of the failure region. Other reports describe the region analysis technique and profile the regions detailed here.