Piramanayagam Arumuga Nainar Ting Chen Jake Rosin Ben Liblit Statistical debugging using compound boolean predicates. 5-15 2007 conf/issta/2007 ISSTA http://doi.acm.org/10.1145/1273463.1273467 db/conf/issta/issta2007.html#NainarCRL07