Changhai Nie Hareton Leung The Minimal Failure-Causing Schema of Combinatorial Testing. 15 2011 20 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/2000799.2000801 db/journals/tosem/tosem20.html#NieL11