Man Fai Lau, Ying Liu, Yuen-Tak Yu. Detecting Double Faults on Term and Literal in Boolean Expressions. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 117-126, IEEE Computer Society, 2007. [doi]
Abstract is missing.