Publications

2021

Faster Mutation Analysis with Fewer Processes and Smaller Overheads (To appear)
Bo Wang*, Sirui Lu*, Yingfei Xiong, Feng Liu
ASE’21: 36th IEEE/ACM International Conference on Automated Software Engineering

2020

Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques (基于动态分析的软件不变量综合技术)
Bo Wang, Sirui Lu, Jiajun Jiang, Yingfei Xiong
Ruan Jian Xue Bao/Journal of Software, 31(6):1681−1702 (in Chinese)
[PDF][JOS]


* equal contribution