Fault Based Techniques for Testing Boolean Expressions: A Survey - Usha Badhera; G. N. Purohit; S. Taruna (CoRR, 2012)