Zhiqiang Zhang Jian Zhang Characterizing failure-causing parameter interactions by adaptive testing. 331-341 2011 ISSTA http://doi.acm.org/10.1145/2001420.2001460 conf/issta/2011 db/conf/issta/issta2011.html#ZhangZ11