智能软件技术研究组(GIST)

GIST 立足于物联网、区块链、大数据、云计算和人工智能等新基建平台,致力于构建现代智能软件的质量保障体系,探索软件和智能领域的学科交叉前沿,为智能化软件的开发和应用保驾护航

News

Recruiting 我们课题组常年招收博士、硕士以及南京大学本科生,欢迎联系我们.
Jan, 2020 Prof.聂就区块链技术及其应用做了三场讲座.
近思堂  /  连云港市青年科技工作者学术年会  /  南京大学河南校友会

人员构成

教师

助理研究员
助理研究员
徐家喜
Jiaxi Xu
高级工程师
王燕
Yan Wang
讲师

博士生

夏培萱
Peixuan Xia
徐立鑫
Lixin Xu
王顺
Shun Wang
胡圣佑
ShengYou Hu

硕士生

孙颜洁
Yanjie Sun
张思熠
Siyi Zhang
滕云
Yun Teng
余森垚
Senyao Yu
张开宇
Kaiyu Zhang
潘敏青
Minqing Pan
周成乘
Chengcheng Zhou
龚楠雅
NanYa Gong
陈宏楠
HongNan Chen
范佳明
JiaMing Fan
向健图
JianTu Xiang
丘书玮
ShuWei Qiu
聂文龙
WenLong Nie

Alumni/ae

李刚  2021
邓文俊  2021
王乐进  2021
陆超逸  2021
张文茜  2017
尹震  2017
鲁耀远  2017
张志男  2017
周锦春  2016
马骅  2015
程浩洋  2015
周航  2015
曾梦凡  2014
陈思洋  2013
李杰  2010
梁亚澜  2010
蒋静  2008

研究方向

区块链新技术与质量保证

系统研究区块链及其智能合约的测试技术体系,为区块链系统的质量和安全保驾护航。
在走到区块链理论前沿的基础上,占据区块链技术创新制高点,争取产业和应用新优势

智能软件测试

对深度学习、自然语言处理、图像处理等智能软件系统进行分析与测试(Testing for AI)
综合应用机器智能和人类群体智能来解决各类复杂的软件测试问题 (AI for Testing)

软件生态系统分析

挖掘和分析 App Store 中的技术、用户和商业相关信息,提高移动应用的开发效率和质量。
研究开源软件中的群体协作和工程实践规律,构建高效的群智化软件开发方法

故障分析与修复

研究对系统中的故障、漏洞的缺陷定位方法和理论,探索和优化能够自动修复特定类型故障的方法



最新发表文章

Papers

  • Huayao Wu, Lixin Xu, Xintao Niu, Changhai Nie, Combinatorial Testing of RESTful APIs, International Conference on Software Engineering (ICSE), accepted, 2022 [IEEE Xplore]
  • Wang, Yan, Wu, Huayao, Niu, Xintao, Nie, Changhai, and Xu, Jiaxi, An Adaptive Penalty based Parallel Tabu Search for Constrained Covering Array Generation, Information and Software Technology (IST), 143: 106768, 2022 [ScienceDirect]
  • Xintao Niu, Yanjie Sun, Huayao Wu, Gang Li, Changhai Nie, Yu Lei, and Xiaoyin Wang, Combinatorial Testing with Metamorphic Relations, IEEE Transactions on Software Engineering (TSE), 143: 106768, 2022 [IEEE Xplore]
  • Xintao Niu, Huayao Wu, Changhai Nie, Yu Lei, and Xiaoyin Wang, A Theory of Pending Schemas in Combinatorial Testing, IEEE Transactions on Software Engineering (TSE), accepted [IEEE Xplore]
  • Huayao Wu, Wenjun Deng, Xintao Niu, and Changhai Nie, Identifying Key Features from App User Reviews, International Conference on Software Engineering (ICSE), 2021: 922-932 [IEEE Xplore]
  • Huayao Wu, Changhai Nie, Justyna Petke, Yue Jia and Mark Harman, Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing, IEEE Transactions on Software Engineering (TSE), 47(11): 2549-2562, 2021 [IEEE Xplore]
  • 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]
  • Niu, Xintao, Nie, Changhai, Lei, Yu, and Chan, Alvin, Identifying Failure-Inducing Combinations Using Tuple Relationship, International Conference on Software Testing (ICSE), 10.1109/ICSTW.2013.38 [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

项目

Combinatorial Testing Repository

(组合测试文献库)

一个在线资料库,收集了几乎所有的组合测试相关文献。

visit

CitHub

(组合测试服务系统)

一个开放的测试工具服务系统,为使用和研究组合测试提供服务。

visit

课程

组合测试

这是一个10分钟的微课视频,旨在简要介绍组合测试的基本理论和方法。

操作系统

(for NJU school of artificial intelligence)