On detecting double faults related to term and literal in Boolean expression was: detecting double faults related to term and literal

In this report, we study the detection conditions of double faults in the third category, so as to find suitable test case selection strategies for their detection. The rest of the report is organized as follows. Section 2 introduces the notation and fault classes studied in this report. Section 3 presents double fault classes and their corresponding faulty implementations. Section 4 analyses fault detection conditions of studied double faults classes. Section 5 investigates the existing test case selection strategies in detecting double faults classes related to literals. Section 6 propose a family of test case selection strategies. Section 7 concludes the report.