On detecting double literal faults

In this report, we study the detection conditions of double faults related to literals. Different from the results in double faults related to terms, our analysis of the detection condition of double fault related to literals shows that existing test case selection strategies are insufficient in detecting double faults related to literal. Therefore, new test case selection strategies have been proposed to supplement existing test case selection strategies to detect the studied double faults. 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 proposes a family of test case selection strategies. Section 7 concludes the report.