Tanay Kanti Paul, Man Fai Lau, Sebastian Ng. On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions. In 2014 14th International Conference on Quality Software, Allen, TX, USA, October 2-3, 2014. pages 266-275, IEEE, 2014. [doi]
Abstract is missing.