Kalpesh Kapoor Jonathan P. Bowen Test conditions for fault classes in Boolean specifications. 2007 16 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/1243987.1243988 db/journals/tosem/tosem16.html#KapoorB07