Position: Home>Faculty
Teacher Details
  • Personal Information
    Sun Changai

    Sun Changai

    Department:
    |Department of Computer Science and Technology|
    Professional Title:
    Professor  
    Position:
    Head of the Department of Computer Science and Technology
    Office:
    520 of MEE Building
    Tel:
    E-Mail:
    casun@ustb.edu.cn
    Undergraduate Courses:
    Software Engineering Software Testing C++ Programming
    Graduate Courses:
    Software Testing Advanced Software Engineering
    Research Directions:
    Software testing, service calculation, program analysis and debugging
    Academic And Social Part-Time:
    IEEE member; •ACM member; •IBM Academic Initiative Member; •Senior member of Chinese Computer Society
  • Resume

    Born in 1974, Yancheng, Jiangsu Province, PhD, professor, doctoral tutor. Now he is the director of the Department of Software Engineering, School of Computer and Communication Engineering, University of Science and Technology Beijing. He has long been engaged in the research and teaching of software engineering. His research interests include software testing, program analysis and debugging, and service calculation. Presided over the completion of nearly 10 projects including the National Natural Science Foundation of China, the Beijing Natural Science Foundation, the Ministry of Education Doctoral Fund, the Ministry of Education Research Startup Fund for Researchers, the State Key Laboratory of Computer Science Open Project Fund, and the Funding Project for Fundamental Scientific Research Business Fees of Central Universities Projects, participated in the completion of nearly 20 projects including the European Union's Sixth Framework Program Project, Australia's ARC Discovery Project, the National 863 Program Project, the Ninth Five-Year Science and Technology Research Project, and the Fifteen National Defense Pre-research Projects . As the first author or corresponding author in "ACM Transactions on the Web", "IEEE Transactions on Services Computing", "Journal of Systems and Software", "Information and Software Technology", "Software: Practice and Experience", "Software Quality Journal”, “The Computer Journal”, “Frontiers of Computer Science”, “International Journal of Web Services Research”, “International Journal of High Performance Computing and Networking”, “Lecture Notes in Computer Science”, “Journal of Software”, ICWS, COMPSAC, ICSR, QSIC, SEKE, APSEC, APSCC, ASWEC, TOOLS, CIT, TrustCom, APWeb, "Journal of Computer", "Journal of Software", "Computer Research and Development" and other important domestic and international academic journals and international conference paper More than 70 academic papers have been published in the collection, more than 1,200 papers have been cited, and more than 50 papers have been included in SCI/EI. Published 3 translated works, registered 12 computer software copyrights, and applied for 4 national invention patents (2 authorized). Selected for Beijing Excellent Talent Training Program (2012).

    Education background:
    •September 1997 to December 2002, School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, computer software and theory, PhD student (Master and Doctor)
    • 1993.09—1997.07, School of Information Engineering, University of Science and Technology Beijing, Computer and Application, undergraduate
    work experience:
    •2014.07—Now, Professor, School of Computer and Communication Engineering, University of Science and Technology Beijing
    •2011.01—2014.06, Associate Professor, School of Computer and Communication Engineering, University of Science and Technology Beijing
    •2009.05—2010.12, Associate Professor, School of Information Engineering, University of Science and Technology Beijing
    •2007.09—2009.04, Lecturer, School of Computer and Information Technology, Beijing Jiaotong University
    Overseas study experience:
    •2013.03—2014.03, Purdue University Computer Department, Visiting Scholar (Full Public Dispatch by the State Council for Study Abroad)
    •2012.06—2012.07, a visiting scholar at the University of Paderborn in Germany and the University of Groningen in the Netherlands
    •2006.05—2007.05, Postdoctoral Fellow, School of Mathematics and Natural Sciences, University of Groningen, Netherlands
    •2004.03—2006.05, Postdoctoral Fellow, School of Information and Communication Technology, Swinburne University, Australia
    •2003.10—2003.12, visiting researcher, SUN Engineering Research Institute (Beijing), USA
    •2003.03—2003.07, Assistant Researcher, Department of Computer, Hong Kong Polytechnic University

  • Representative Papers


    [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)

    [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)
    [26]F.-C. Kuo, K.Y. Sim, Chang-ai Sun, S.F. Tang, Z.Q. Zhou (Alphabetically). “Enhanced Random Testing for Programs with High Dimensional Input Domains”, Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007). 2007, pp.135-140. (EI)
    [27]Chang-ai Sun, Y.W. Dong, K.Y. Sim, R. Lai, T.Y. Chen, “Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions”, Proceedings of 6th IEEE International Conference on Computer and Information Technology (CIT 2006), IEEE Computer Society, 2006 (EI)
    [28]Chang-ai Sun, An incremental and practical approach to enable the component run-time evolution, Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), IEEE Computer Society, pp.603-610 (EI, ISTP)
    [29]Chang-ai Sun, Jun Zhou, Jiannong Cao, Mao-zhong Jin, Chao Liu, ReArchJBs: a Tool for Automated Software Architecture Recovery of JavaBeans-based Applications, Proceedings of 16th Australian Conference on Software Engineering (ASWEC 2005), IEEE Computer Society, pp.270-280 (EI, ISTP)
    [30]Chang-ai Sun, K.Y. Sim, T.H. Tse, T.Y. Chen, An Empirical Evaluation and Analysis of the Fault-Detection Capability of MUMCUT for General Boolean Expressions, Proceedings of International Computer Symposium (ICS 2004), pp.926-932.
    [31]Chang-ai Sun, Jiannong Cao, Mao-zhong Jin, Chao Liu, Michael R. LYU, Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML, LNCS 2834, Springer, pp.536-545 (SCI)
    [32]Chang-ai Sun, Chao Liu, Mao-zhong Jin, Mei Zhang, Architecture framework for software test tool, Proceedings of the 36th International Conference on Technology of Object-Oriented Language and System (TOOLS-Asia'00), IEEE Computer Society, pp.40-47 (EI, ISTP)

  • Research Performance

    • As the main researcher, completed the European Union Sixth Framework Program project (511680), Australia ARC Discovery project (DP0345147; DP0558597), the Hong Kong Polytechnic University funded project (H.61.37.ZJ80), the National Natural Science Foundation of China project (60073005) National 863 Program Project (863-306-ZD02-03-07; 2001AA113162; 2001AA110244), the Ninth Five-year Science and Technology Research Project (98-760-01-01; 98-760-01-02), and the Fifteen National Defense Advanced Research Project ( 413150601) and nearly 20 software engineering research projects at home and abroad.
    • As the project leader, presided over the completion of the National Natural Science Foundation of China (Youth Fund) (60903003), Beijing Natural Science Foundation of China (General) (4112037), Ministry of Education Doctoral Fund (New Teacher Fund) (200800041051), Research start-up fund project of the Ministry of Education for Overseas Students (Teaching Foreign Minister Liu [2008] No. 890), Open Research Fund of State Key Laboratory of Computer Science (SYSKF1105), Sub-project of the National Science and Technology Support Plan of the 12th Five-year Plan (2011BAK08B04) Business Fee Funding Project (FRF-SD-12-015A), China-Netherlands Science and Technology Theme Dialogue International Exchange Project (Head of China), Sixth Batch of Education and Teaching Research Fund (General Project) of Beijing University of Science and Technology (JY2010G09), Beijing Jiaotong University Talent Fund (2007RC099), Beijing Jiaotong University School of Computer and Information Technology Teaching Reform Project, Horizontal Project, etc.
    • As the project leader, currently presides over the National Natural Science Foundation of China Project (61370061), Beijing Excellent Talent Cultivation Program (2012D009006000002), Beijing University of Science and Technology 2015 Undergraduate Education Teaching Reform and Research Project (JG2015M23) .

    The graduate students who have graduated from the research group are all employed in well-known IT companies, such as Microsoft, Baidu, Alibaba, Huawei, Lenovo Research Institute, and Sogou. The research group maintains close academic contacts with many famous universities in the United States, the Netherlands, Australia, Germany, the United Kingdom, and Hong Kong. Graduates have the opportunity to recommend to the relevant co-professor research group for a doctorate.

    Welcome to the graduate students who are interested in software testing and service computing research in the same journal/send me! I welcome young doctors and postdoctors in software engineering or service computing to join my research group!


  • Get Rewards/Patents

    • The Second Prize of the 26th Education and Teaching Achievement Award, University of Science and Technology Beijing, January 2015 (rank 1)
    •Author of 25 Most Cited Information and Software Technology Papers since 2009. Elsevier, August 2014
    •Beijing University of Science and Technology 2014 "Employment Contribution Award", November 2014
    • The third prize of the "Second National Software Research Achievement Prototype Competition" of the Chinese Computer Society, November 2014
    • "Technical Innovation Guidance Award for Undergraduates", University of Science and Technology Beijing, January 2014
    •First Prize of 25th Education and Teaching Achievement Award, University of Science and Technology Beijing, 2012 (rank 1)
    • Second prize of the 25th Education and Teaching Achievement Award, University of Science and Technology Beijing, 2012 (rank 3)
    • The Fifth "Graduate Education Award" of Beijing University of Science and Technology, 2011
    • "Excellent Class Teacher", School of Computer and Communication Engineering, University of Science and Technology Beijing, 2011
    •Beijing University of Science and Technology Postgraduate Course Exemption Class "Object-oriented Software Engineering", 2010
    •Second prize of "National Excellent Paper on Computer Education" by the Computer Science and Technology Teaching Steering Committee of the Ministry of Education, 2009
    • "Computer Education" magazine ushered in the 100th "Top Ten Papers", 2009
    • First prize of "Basic Teaching Skills Competition for Young Teachers", School of Computer and Information Technology, Beijing Jiaotong University, 2009
    • Third prize of “The Seventh Young Teachers Teaching Basic Skills Competition”, Beijing Jiaotong University, 2009
    •Second prize of “National Excellent Paper on Computer Education” by Computer Science and Technology Teaching Guidance Committee of Ministry of Education, 2008
    • Selected as Marquis Who's Who in the World, 2007-
    • "Journal of Highly Cited Paper Authors", Journal of Software, 2006-
    •Apply 4 national invention patents (2 authorized)
    • Registered 12 computer software copyrights
    • Among the guiding graduate students: 4 people won the “Excellent Master Thesis of Beijing University of Science and Technology”; 3 people won the title of “Academic Star” of the School of Computer and Communication Engineering; 5 people won the National Graduate Scholarship;
    • Instructed undergraduates' scientific and technological innovation projects won the “First Prize of the 2013 Chinese University Students iCan Internet of Things Innovation and Entrepreneurship Competition Beijing Competition” and “The Third Prize of the 2013 National Internet of Things Competition”