May 2015

Sun, CA, Zai, Y and Liu, Huai ORCID: 0000-0003-3125-4399 (2015) Evaluating and comparing fault-based testing strategies for general Boolean specifications: A series of experiments. Computer Journal, 58 (5). 1199 - 1213. ISSN 0010-4620

3 July 2017

Sun, CA, Fan, C, Wang, Z and Liu, Huai ORCID: 0000-0003-3125-4399 (2017) dmuReg: A path-aware mutation analysis guided approach to regression testing. In: 12th International Workshop on Automation of Software Testing, 20 May 2017-21 May 2017, Buenos Aires, Argentina.

1 January 2018

Sun, CA, Ran, Y, Zheng, C, Liu, Huai ORCID: 0000-0003-3125-4399, Towey, D and Zhang, X (2018) Fault localisation for WS-BPEL programs based on predicate switching and program slicing. Journal of Systems and Software, 135. 191 - 204. ISSN 0164-1212

22 June 2018

Sun, CA, Jia, J, Liu, Huai ORCID: 0000-0003-3125-4399 and Zhang, X (2018) A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference, 23 Jul 2018 - 27 Jul 2018, Tokyo, Japan.