Xuechao Sun

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Ranking Functions

Top Venues

ESEC/SIGSOFT FSE

Publications

Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
Synthesizing ranking functions for loop programs via SVM. Theor. Comput. Sci. 935 (2022)
Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang
Formal Verification of Consensus in the Taurus Distributed Database. FM (2021)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. CoRR (2020)
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
SVMRanker: a general termination analysis framework of loop programs via SVM. ESEC/SIGSOFT FSE (2020)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ATVA (2020)
Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang
A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks. CoRR (2019)
Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang
Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM (2019)
Haiyan Fu, Yu Li, Xuechao Sun
Design and Implementation of Rapid Information Acquisition and Analysis System. CIS (2019)
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
ROLL 1.0: \omega -Regular Language Learning Library. TACAS (1) (2019)