教育背景：

&bull1997.09&mdash2002.12，北京航空航天大学计算机学院，计算机软件与理论，博士生(硕博连读)

&bull1993.09&mdash1997.07，北京科技大学信息工程学院，计算机及应用，本科生

工作经历：

&bull2014.07&mdash现在，北京科技大学计算机与通信工程学院，教授

&bull2011.01&mdash2014.06，北京科技大学计算机与通信工程学院，副教授

&bull2009.05&mdash2010.12，北京科技大学信息工程学院，副教授

&bull2007.09&mdash2009.04，北京交通大学计算机与信息技术学院，讲师

海外留学经历：

&bull2013.03&mdash2014.03，美国普渡大学计算机系，访问学者(国家留学基金委全额公派)

&bull2012.06&mdash2012.07，德国帕德博恩大学与荷兰格罗宁根大学，访问学者

&bull2006.05&mdash2007.05，荷兰格罗宁根大学数学与自然科学学院，博士后

&bull2004.03&mdash2006.05，澳大利亚斯文本大学信息与通信技术学院，博士后

&bull2003.10&mdash2003.12，美国SUN工程研究院(北京)，访问学者

&bull2003.03&mdash2003.07，香港理工大学计算机系，助理研究员代表性论文论著

国际期刊论文(12篇):

[1]Chang-ai Sun, Xing Zhang, Yan Shang, Marco Aiello. Integrating Transactions into BPEL Service Compositions: An Aspect-based Approach. ACM Transactions on the Web, ACM Press, May 2015, 2015, 9(2): 9:1~9:31, (SCI, EI)

[2]Chang-ai Sun, Elie el Khoury, Marco Aiello. “Transaction Management in Service-Oriented Systems: Requirements and a Proposal”, IEEE Transactions on Services Computing, 2011, 4(2):167-180. (SCI, EI)

[3]Chang-ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey. A Transformation-based Approach to Testing Concurrent Programs using UML Activity Diagrams, Software: Practice and Experience, 26 pages, DOI: 10.1002/spe.2324 (SCI, EI)

[4]Chang-ai Sun, Yi Meng Zhai, Huai Liu. Evaluating and Comparing Fault-based Testing Strategies for General Boolean Specifications: A Series of Experiments. The Computer Journal, Oxford University Press, 2015, 58 (5): 1199-1213. (SCI, EI).

[5]Chang-ai Sun, Guan Wang, Zuoyi Wang. A property-based testing framework for encryption programs. Frontiers of Computer Science, Springer, 2014, 8(3):478-489. (SCI, EI).

[6]Chang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. BPELDebuger: An effective BPEL-specific fault localization framework. Information and Software Technology. Elsevier, 2013, 55(12): 2140-2153. (SCI, EI)

[7]Chang-ai Sun, Guan Wang, Baohong Mu, Huai Liu, Zhaoshun Wang, T.Y. Chen. “A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles”, International Journal of Web Services Research, 2012, 9(1): 51-73. (SCI, EI)

[8]Chang-ai Sun. “A Constraint-oriented Test Suite Reduction Method for Conservative Regression Testing”, Journal of Software, Academy Publisher, 2011, 6(2):314-321. (EI)

[9]Chang-ai Sun, Rowan Rossing, Marco Sinnema, Marco Aiello. “Modeling and managing variability of Web service-based systems”, Journal of Systems and Software, Elsevier, 2010, 83 (7): 502-516. (SCI, EI)

[10]Michiel Koning, Chang-ai Sun, Marco Sinnema, Paris Avgeriou. “VxBPEL: Supporting Web Service Variability in BPEL”, Information and Software Technology, Elsevier, 2009, 51(2): 258-269. (通讯作者)(SCI, EI)

[11]T.Y. Chen, M.F. Lau, K.Y. Sim, Chang-ai Sun (Alphabetically). “On Detecting Faults for Boolean Expressions”, Software Quality Journal, Springer, 2009, 17(3):245-261. (SCI)

[12]Chang-ai Sun, Guan Wang, Qin Wen, Dave Towey, T.Y. Chen. MT4WS: An Automated Metamorphic Testing System for Web Services. International Journal of High Performance Computing and Networking, Inderscience Publisher, in press, (http://www.inderscience.com/info/ingeneral/forthcoming.php?jcode=ijhpcn) (EI)

部分国际会议论文(20篇)：

[13]Xiao He, Yanmei Fu, Chang-ai Sun, Zhiyi Ma, Weizhong Shao. Towards Model-Driven Variability-Based Flexible Service Compositions, Proceedings of 39th Annual IEEE International Computer Software and Application Conference (COMPSAC 2015), IEEE Computer Society, July 1- 5, 2015.(EI, ISTP)

[14]Chang-ai Sun, Pan Wang, Xin Zhang, Marco Aiello. VxBPEL_ODE: A Variability Enhanced Service Composition Engine. In W. Han et al. (Eds): Proceedings of APWeb 2014 Workshops, LNCS 8710, Springer, pp.69-81. (EI, ISTP)

[15]Chang-ai Sun, Yan Shang, Yan Zhao, T.Y. Chen. Scenario-Oriented Testing for BPEL Service Compositions, Proceedings of 12th International Conference on Quality Software (QSIC 2012), IEEE Computer Society, pp.171-174. (EI, ISTP)

[16]Chang-ai Sun, Yi Meng Zhai, Yan Shang, Zhenyu Zhang. Toward Effectively Locating Integration-Level Faults in BPEL programs, Proceedings of 12th International Conference on Quality Software (QSIC 2012), IEEE Computer Society, pp.17-20.(EI, ISTP)

[17]Chang-ai Sun, Guan Wang, Kai-Yuan Cai, T.Y. Chen. Distribution-aware Mutation Analysis, Proceedings of 9th IEEE International Workshop on Software Cybernetics (IWSC 2012), collocated with COMPSAC 2012, IEEE Computer Society, pp.170-175. (EI)

[18]Chang-ai Sun, Guan Wang, Kai-Yuan Cai, T.Y. Chen. Towards Dynamic Random Testing for Web Services, Proceedings of 36th Annual IEEE International Computer Software and Application Conference (COMPSAC 2012), IEEE Computer Society, pp.164-169. (EI, ISTP)

[19]Chang-ai Sun, Guan Wang, Baohong Mu, Huai Liu, Zhaoshun Wang, T.Y. Chen. “Metamorphic Testing for Web Services: Framework and Case Study”. Proceedings of the 9th International Conference on Web Services (ICWS 2011), Research Track, IEEE Computer Society, pp.283-290. (EI)

[20]Chang-ai Sun, Tieheng Xue, Marco Aiello. “ValySeC: A Variability Analysis Tool for Adaptive Service Compositions using VxBPEL”. Proceedings of 5th IEEE Asia-Pacific Services Computing Conference (APSCC 2010), IEEE Computer Society, pp.307-314. (EI)

[21]Chang-ai Sun. “Towards Transaction-based Reliable Service Compositions”, Proceedings of 33rd Annual IEEE International Computer Software and Application Conference (COMPSAC 2009), IEEE Computer Society, pp.216-221 (EI, ISTP)

[22]Chang-ai Sun, Baobao Zhang, Jin Li. “TSGen: A UML Activity Diagram-based Test Scenario Generation Tool”, Proceedings of the 2009 IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2009), pp.853-858 (EI)

[23]Chang-ai Sun. “A Transformation-based Approach to Generating Scenario-oriented Test Cases from UML Activity Diagrams for Concurrent Applications”, Proceedings of 32nd IEEE Annual International Computer Software and Application Conference (COMPSAC 2008), IEEE Computer Society, pp.160-167 (EI, ISTP)

[24]Chang-ai Sun, Marco Aiello. “Towards Variable Service Compositions using VxBPEL”, Proceedings of the 10th International Conference on Software Reuse (ICSR 2008). Lecture Notes in Computer Science (LNCS) 5030, Springer, pp.257-261. (EI, ISTP)

[25]Chang-ai Sun, Marco Aiello. “Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems”, Proceedings of first IEEE International Workshop on Requirements Engineering For Services (REFS 2007) in conjunction with COMPSAC 2007, IEEE Computer Society, pp.461-466. (EI, ISTP)