Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu. On Detecting Double Literal Faults in Boolean Expressions. In Nabil Abdennadher, Fabrice Kordon, editors, Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings. Volume 4498 of Lecture Notes in Computer Science, pages 55-68, Springer, 2007. [doi]
Abstract is missing.