Jun Sun
Jiangnan University(CN)Xidian University(CN)Hohai University(CN)Xuzhou Medical College(CN)Shanghai Jiao Tong University(CN)The University of Texas Rio Grande Valley(US)China Aerospace Science and Technology Corporation(CN)Southern University of Science and Technology(CN)Wenzhou Central Hospital(CN)Beijing Xuanwu Traditional Chinese Medicine Hospital(CN)Shanghai Institute of Computing Technology(CN)Huazhong University of Science and Technology(CN)Hunan University of Technology(CN)Singapore Management University(SG)Xi'an Jiaotong University(CN)Xinjiang University(CN)Tsinghua University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Adversarial Robustness in Machine Learning, Software Reliability and Analysis Research, Software Engineering Research
Most-Cited Works
- → Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study(2018)349 cited
- → PAT: Towards Flexible Verification under Fairness(2009)348 cited
- → Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning(2017)317 cited
- → sFuzz(2020)255 cited
- → Latent error prediction and fault localization for microservice applications by learning from system trace logs(2019)250 cited
- → The Fastest Mixing Markov Process on a Graph and a Connection to a Maximum Variance Unfolding Problem(2006)177 cited