GUICat: GUI testing as a service. - Lin Cheng; Jialiang Chang; Zijiang Yang 006; Chao Wang 001 (ASE, 2016)

Automated Testing of Definition-Use Data Flow for Multithreaded Programs. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Pei Liu; Jialiang Chang; Yu Hao 006; Ting Liu 002 (ICST, 2017)

Memory Distance Measurement for Concurrent Programs. - Hao Li; Jialiang Chang; Zijiang Yang 006; Steve Carr 001 (LCPC, 2017)

sCompile: Critical Path Identification and Analysis for Smart Contracts. - Jialiang Chang; Bo Gao; Hao Xiao; Jun Sun 001; Zijiang Yang 006 (CoRR, 2018)

sCompile: Critical Path Identification and Analysis for Smart Contracts. - Jialiang Chang; Bo Gao; Hao Xiao; Jun Sun 001; Yan Cai 001; Zijiang Yang 006 (ICFEM, 2019)

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. - Bo Gao; Ling Shi; Jiaying Li 001; Jialiang Chang; Jun Sun 001; Zijiang Yang 006 (ISoLA, 2021)