Title: A library of failure regions
Description: 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.
Subjects: Computer program verification, Libraries