Xuechao Sun

According to our database, Xuechao Sun authored at least 8 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Synthesizing ranking functions for loop programs via SVM.

Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang

Theor. Comput. Sci., 2022

2021

Formal Verification of Consensus in the Taurus Distributed Database.

Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

SVMRanker: a general termination analysis framework of loop programs via SVM.

Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling.

Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks.

Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang

CoRR, 2019

ROLL 1.0: \omega -Regular Language Learning Library.

Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Synthesizing Nested Ranking Functions for Loop Programs via SVM.

Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

Design and Implementation of Rapid Information Acquisition and Analysis System.

Haiyan Fu, Yu Li, Xuechao Sun

Proceedings of the 15th International Conference on Computational Intelligence and Security, 2019