Zhenyu Chen Tsong Yueh Chen Baowen Xu A revisit of fault class hierarchies in general boolean specifications. 13 2011 20 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/2000791.2000797 db/journals/tosem/tosem20.html#ChenCX11