GIST: Group In Software Testing

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

We have made much work for combinatorial testing, including research papers, a repository of the literature, an open marketplace of testing tools, a book in Chinese, and a micro-teaching video.

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

张文茜
Wenqian Zhang
王顺
Shun Wang
陆超逸
Chaoyi Lu
夏培萱
Peixuan Xia

Master Student

尹震
Zhen Yin
鲁耀远
Yaoyuan Lu
张志男
Zhinan Zhang
王乐进
Lejin Wang
徐立鑫
Lixin Xu
邓文俊
Wenjun Deng
李刚
Gang Li
滕云
Yun Teng
孙颜洁
Yanjie Sun

Graduated Student

  • [2016] 周锦春
  • [2015] 马骅 程浩洋 周航
  • [2010] 李杰 梁亚澜
  • [2008] 蒋静

Research

Software Testing and Quality Assurance

Escort the era of software-defined everything by comprehensively studying and applying theories, techniques and methodologies in the software testing and quality assurance fields.

Intelligent Software Testing

Solving software testing problems by techniques that exploit Artificial and Human Crowd Intelligence. Testing modern intelligent systems by Data Driven and Software Cybernetics methods.

Fault Tolerance and Dependability

Test, validate and improve the fault tolerance mechanisms of cloud platform systems to facilitate dependability designs and implementations.

Formal Methods in Software Testing

Studying mathematically based techniques for the effective development and verification of large and complex software critical systems.

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.