Design and Implementation of Rapid Information Acquisition and Analysis System. - Haiyan Fu; Yu Li; Xuechao Sun (CIS, 2019)

Synthesizing Nested Ranking Functions for Loop Programs via SVM. - Yi Li; Xuechao Sun; Yong Li 031; Andrea Turrini; Lijun Zhang 001 (ICFEM, 2019)

ROLL 1.0: omega -Regular Language Learning Library. - Yong Li 031; Xuechao Sun; Andrea Turrini; Yu-Fang Chen 001; Junnan Xu (TACAS (1), 2019)

A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks. - Long Zhang; Xuechao Sun; Yong Li 031; Zhenyu Zhang 004 (CoRR, 2019)

Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. - Yong Li 031; Andrea Turrini; Xuechao Sun; Lijun Zhang 001 (ATVA, 2020)

SVMRanker: a general termination analysis framework of loop programs via SVM. - Xie Li; Yi Li; Yong Li 031; Xuechao Sun; Andrea Turrini; Lijun Zhang 001 (ESEC/SIGSOFT FSE, 2020)

Formal Verification of Consensus in the Taurus Distributed Database. - Song Gao 014; Bohua Zhan; Depeng Liu; Xuechao Sun; Yanan Zhi; David N. Jansen; Lijun Zhang 001 (FM, 2021)

Synthesizing ranking functions for loop programs via SVM. - Yi Li; Xie Li; Yong Li 031; Xuechao Sun; Andrea Turrini; Lijun Zhang 001 (Theor. Comput. Sci., 2022)