Contract-Based Mutation for Testing Components. - Ying Jiang; Shan-Shan Hou; Jinhui Shan; Lu Zhang 023; Bing Xie (ICSM, 2005)

Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. - Shan-Shan Hou; Lu Zhang 023; Tao Xie 001; Hong Mei 001; Jiasu Sun (ICSM, 2007)

Quota-constrained test-case prioritization for regression testing of service-centric systems. - Shan-Shan Hou; Lu Zhang 023; Tao Xie 001; Jiasu Sun (ICSM, 2008)

An Approach to Testing Black-Box Components Using Contract-Based Mutation. - Ying Jiang; Shan-Shan Hou; Jinhui Shan; Lu Zhang 023; Bing Xie (Int. J. Softw. Eng. Knowl. Eng., 2008)

Time-aware test-case prioritization using integer linear programming. - Lu Zhang 023; Shan-Shan Hou; Chao Guo; Tao Xie 001; Hong Mei 001 (ISSTA, 2009)

Generating Effective Test Sequences for BPEL Testing. - Shan-Shan Hou; Lu Zhang 023; Qian Lan; Hong Mei 001; Jiasu Sun (QSIC, 2009)

Test-Data Generation for Web Services Based on Contract Mutation. - Ying Jiang; Ying-Na Li; Shan-Shan Hou; Lu Zhang 023 (SSIRI, 2009)

Is operator-based mutant selection superior to random mutant selection? - Lu Zhang 023; Shan-Shan Hou; Jun-Jue Hu; Tao Xie 001; Hong Mei 001 (ICSE (1), 2010)

PathART: path-sensitive adaptive random testing. - Shan-Shan Hou; Chun Zhang; Dan Hao 001; Lu Zhang 023 (Internetware, 2013)

Effective Message-Sequence Generation for Testing BPEL Programs. - Yitao Ni; Shan-Shan Hou; Lu Zhang 023; Jun Zhu; Zhong Jie Li; Qian Lan; Hong Mei 001; Jiasu Sun (IEEE Trans. Serv. Comput., 2013)