中文摘要：

E- mail： hzhu@brookes.ac.uk; Hong Zhu obtained the BSc, MSc, and PhD degrees in computer science from Nanjing University. China, in 1982, 1984, and 1987, respectively. He worked at Nanjing University 1987 to November 1998. From October 1990 to December 1994 while on leave from Nanjing University, he was a researchfellow at Brunel University and the Open University, UK. He joined Oxford Brookes University, UK, in November 1998 as a Senior Lecturer in Computing and became a Professor of Computer Science in October 2004. Prof. Zhu chairs the Applied Formal Methods Research Group of the Department of Computing and Communication Technologies. He is a senior member of IEEE Computer Society, a member of British Computer Society. ACM, and China Computer Federation, His research interests are in the area of software development methodologies, including formal methods, agent- orientation, automated software development, tbundation of software engineering, software design, modelling and testing methods. Software-as-a-Service. etc. He has pt, blishcd 2 books and more than 180 research papers in journals and international conferences. He has been a conference program committee chair of SOSE 2012 and ICWS 2015. etc.. a conference general chair of SOSE 2013, MobileCloud 2014, MS 2016, EDGE 2017, etc. He is a member of the editorial board of the journal of Sfffhrare Testing, Verification and Reliability; Softwale Quality Journal, International Jouraal of Big Data Intelligence, and the International Journal of Multi-Agent and Grid Systems. E-mail： dmliukz @ njust.edu.cn.Dongmei Liu received the BS degree in computer applied technology, the MS degree in computer architecture, and the PhD degree in computer software and theory from Wuhan University, China, in 1999, 2001, and 2004, respectively. Currently. she is an associate professor at Nanjing University of Science andTechnology, China. She is a member of IEEE and CCE Her research interests include software testing, software reliability modeling, formal specification method