Ying Jiang Shan-Shan Hou Jinhui Shan Lu Zhang Bing Xie Contract-Based Mutation for Testing Components. 483-492 2005 conf/icsm/2005 ICSM http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.36 db/conf/icsm/icsm2005.html#JiangHSZX05