Andreas Leitner Manuel Oriol Andreas Zeller Ilinca Ciupa Bertrand Meyer Efficient unit test case minimization. 417-420 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321698 db/conf/kbse/ase2007.html#LeitnerOZCM07