Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale

41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)

Xiangchen Shen, Yiting Wang, Ting Su, Jingjing Liang, Jingling Sun, Xixian Liang, Haiying Sun, Xinjie Xu, Haochuan Lu, Yuetang Deng, Pengcheng Wang, Geguang Pu, Zhendong Su, John Hughes

Paper link ↗

Kea2: Practical Property-based Testing for Mobile Apps

34th ACM International Conference on the Foundations of Software Engineering (FSE 2026)

Xixian Liang, Cheng Peng, Bo Ma, Xiangchen Shen, Yiheng Xiong, Ting Su

Paper link ↗

EcoDialTest: Adaptive Mutation Schedule for Automated Dialogue Systems Testing

30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023)

Xiangchen Shen, Haibo Chen, Jinfu Chen, Jiawei Zhang, Shuhui Wang

Paper link ↗