GIST: Group in Intelligent Software Technoloy

GIST is interested in theory, method, empirical study, application and education of intelligent software quality assurance. Especially, we investigate the synergies between software quality assurance and intelligent techniques, including artificial and human crowd intelligence, big data analysis, data driven approaches, and software cybernetics.

News

Recruiting We are recruiting PhD, Master and Undergraduate students!
我们课题组常年招收博士、硕士以及南京大学本科生,欢迎联系我们.
Jan, 2020 Prof. Nie gives three talks on blockchain technology and its applications.
近思堂  /  连云港市青年科技工作者学术年会  /  南京大学河南校友会

People

Faculty

Assistant Researcher
Assistant Researcher
徐家喜
Jiaxi Xu
Senior Engineer
王燕
Yan Wang
Lecture

Ph.D. Student

夏培萱
Peixuan Xia
徐立鑫
Lixin Xu
王顺
Shun Wang

Master Student

陆超逸
Chaoyi Lu
王乐进
Lejin Wang
邓文俊
Wenjun Deng
李刚
Gang Li
孙颜洁
Yanjie Sun
张思熠
Siyi Zhang
滕云
Yun Teng
余森垚
Senyao Yu
张开宇
Kaiyu Zhang
潘敏青
Minqing Pan
周成乘
Chengcheng Zhou

Alumni/ae

张文茜  2017
尹震  2017
鲁耀远  2017
张志男  2017
周锦春  2016
马骅  2015
程浩洋  2015
周航  2015
曾梦凡  2014
陈思洋  2013
李杰  2010
梁亚澜  2010
蒋静  2008

Research

Blockchain and Quality Assurance

Study theories, techniques, and applications of blockchain to foster future innovation. Build a comprehensive system of testing techniques to ensure the quality and security of blockchain and smart contract.

Intelligent Software Testing

Solving software testing problems by techniques that exploit artificial and human crowd intelligence (AI for Testing). Testing intelligent systems by data driven and software cybernetics techniques (Testing for AI).

Software Ecosystem Analysis

Mining app stores to analyse information of technical, customer and bnussines aspects. Investigate the collective intelligence in open source software developemnt to improve engineering practices.

Fault Diagnosis and Repair

Study theories and techniques of fault localization in modern software systems. Explore and optimize techniques of automaitc program repair.

Publication

Papers

  • Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung and Xiaoyin Wang, Identifying Failure-Causing Schemas in the Presence of Multiple Faults, IEEE Transactions on Software Engineering (TSE), 46(2): 141-162, 2020 [IEEE Xplore]
  • Huayao Wu, Changhai Nie, Petke Justyna, Yue Jia and Mark Harman, Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing, IEEE Transactions on Software Engineering (TSE), in press, 2019 [IEEE Xplore]
  • Xintao Niu, Changhai Nie, Hareton Leung, Yu Lei, Xiaoyin Wang, Jiaxi Xu and Yan Wang, An Interleaving Approach to Combinatorial Testing and Failure-inducing Interaction Identification, IEEE Transactions on Software Engineering (TSE), in press, 2018 [IEEE Xplore]
  • Huayao Wu, Changhai Nie, Petke Justyna, Yue Jia and Mark Harman, An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing, IEEE Transactions on Software Engineering (TSE), in press, 2018 [IEEE Xplore]
  • Huayao Wu, Changhai Nie and Fei-Ching Kuo, The Optimal Testing Order in the Presence of Switching Cost, Information and Software Technology (IST), 80: 57–72, 2016 [ScienceDirect]
  • Changhai Nie, Huayao Wu, Xintao Niu, Fei-Ching Kuo, Hareton Leung and Charles J. Colbourn, Combinatorial Testing, Random Testing, and Adaptive Random Testing for Detecting Interaction Triggered Failures, Information and Software Technology (IST), 62: 198-213, 2015 [ScienceDirect]
  • Huayao Wu, Changhai Nie, Fei-Ching Kuo, Hareton Leung and Charles J. Colbourn, A Discrete Particle Swarm Optimization for Covering Array Generation, IEEE Transactions on Evolutionary Computation (TEVC), 19(4): 575-591, 2015 [IEEE Xplore]
  • Changhai Nie and Hareton Leung, A survey of combinatorial testing, ACM Computing Surveys (CSUR), 43(2): 11:1-11:29, 2011. [ACM digital library]
  • Changhai Nie and Hareton Leung, The Minimal Failure-Causing Schema of Combinatorial Testing, ACM Transactions on Software Engineering and Methodology (TOSEM), 20(4): 15:1-15:38, 2011 [ACM digital library]

Books

Project

Combinatorial Testing Repository

An online repository that collects almost all scientific publications in the literature of combinatorial testing.

visit

CitHub

An open marketplace of testing tools that provides services for using and studying combinatorial testing.

visit

Course

Combinatorial Testing

This is a 10 minutes Mirco-Teaching (微课) video in Chinese, aimed to provide a brief introduction on the basic theory and method of combinatorial testing.