Publications

1. ( ASE 2026) Yuekun Wang, Lili Quan, Xiaofei Xie. "Refine2Diff: Detecting Protocol Specification–Implementation Inconsistencies via Specification-Driven Code Refinement". In 2026 41th IEEE/ACM International Conference on Automated Software Engineering (ASE 2026).

2. ( ISSTA 2026) Mingfei Cheng, Xiaofei Xie, Lili Quan, Yuan Zhou. "Are We Stuck? Modeling and Detecting Deadlocks in Multi-Autonomous Vehicle Systems". In the 35th SIGSOFT International Symposium on Software Testing and Analysis.

1. ( ASE 2025) Yuekun Wang, Lili Quan, Xiaofei Xie, Junjie Wang, Jianjun Chen. "SPEC2CODE: Mapping Protocol Specification to Function-Level Code Implementation". In 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)[通讯作者].

2. ( ICSE 2025) Lili Quan, Tianlin Li, Xiaofei Xie, Zhenpeng Chen, Sen Chen, Lingxiao Jiang, Xiaohong Li. "Dissecting Global Search: A Simple Yet Effective Method to Boost Individual Discrimination Testing and Repair". In Proceedings of the 47th IEEE/ACM International Conference on Software Engineering.

3. ( WWW 2025) Lili Quan, Xiaofei Xie, Qianyu Guo, Lingxiao Jiang, Sen Chen, Junjie Wang, and Xiaohong Li. "TensorJSFuzz: Effective Testing of Web-Based Deep Learning Frameworks via Input-Constraint Extraction". In Proceedings of the Web Conference.

4. ( Journal of Software: Evolution and Process 2025) Lili Quan, Jin Wen, Qiang Hu, Maxime Cordy, Yuheng Huang, Lei Ma, Xiaohong Li. "Evaluation and Improvement of Test Selection for Large Language Models". In Journal of Software: Evolution and Process.

1. ( ASE 2022) Lili Quan, Qianyu Guo, Xiaofei Xie, Sen Chen, Xiaohong Li, Yang Liu. "Towards understanding the faults of javascript-based deep learning systems". In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.

1. ( ASE 2020) Lili Quan, Qianyu Guo, Hongxu Chen, Xiaofei Xie, Xiaohong Li, Yang Liu, Jing Hu. "SADT: syntax-aware differential testing of certificate validation in SSL/TLS implementations". In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering.