Bernhard K. Aichernig Percy Antonio Pari Salas Test Case Generation by OCL Mutation and Constraint Solving. 64-71 2005 conf/eh/2005 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.63 db/conf/qsic/qsic2005.html#AichernigS05