Xiaofeng Li

According to our database, Xiaofeng Li authored at least 15 papers between 2021 and 2025.

Collaborative distances:

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

2025

Deep Learning Based Concurrency Bug Detection and Localization.

Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang, Yiming Cheng, Yuandao Cai, Xiaofeng Li, Guanjun Liu

CoRR, August, 2025

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries.

Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu

CoRR, June, 2025

Concurrency Bug Detection via Static Analysis and Large Language Models.

Zuocheng Feng, Yiming Chen, Kaiwen Zhang, Xiaofeng Li, Guanjun Liu

Future Internet, 2025

A fine-grained approach for Android taint analysis based on labeled taint value graphs.

Dongming Xiang, Shuai Lin, Ke Huang, Zuohua Ding, Guanjun Liu, Xiaofeng Li

Comput. Secur., 2025

Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software.

Longxing Yang, Yixing Luo, Hao Gao, Yingshuang Fan, Jingru Zhang, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Leveraging Large Language Models for Reusable Requirements Management in Aerospace Software.

Yixing Luo, Yiping Wang, Xiaofeng Li, Bin Gu, Zhi Jin

Proceedings of the 33rd IEEE International Requirements Engineering Conference, 2025

Taxonomy-Guided Reasoning for Requirements Classification: A Study in Aerospace Industry.

Yixing Luo, Yang Liu, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang

Proceedings of the 33rd IEEE International Requirements Engineering Conference, 2025

Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software.

Yang Liu, Yixing Luo, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Oneshotimizer: Consistent and Effective NAS via Regularizing Gradient Norm and Weight Variance.

Longxing Yang, Xiaofeng Li, Xiaogang Dong, Bin Gu

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

2024

Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets.

Kaiwen Zhang, Guanjun Liu, Yantao Sun, Xiaofeng Li, Jian Guan, Yi Xie, Bin Gu

Int. J. Softw. Informatics, 2024

Data Augmentation for Vulnerability Detection Based on Code Refactoring and Mixup.

Ying Xing, Jiaqi Huang, Guilong Wang, Yehao You, Bin Yang, Xiaofeng Li, Yixing Luo

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs.

Xinbang Hu, Guanjun Liu, Xiaofeng Li, Kaiwen Zhang, Jian Guan, Bin Gu

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2024

2023

Improve Software Development: An Overview of Program Synthesis.

Heran Wang, Xiaogang Dong, Bin Gu, Xiaofeng Li, Ruiming Zhong

Proceedings of the 2023 5th International Conference on Software Engineering and Development, 2023

Research on the Safety Assurance Framework for Spacecraft Embedded Software.

Weirui Shang, Jihong Dang, Yao Chen, Xiaofeng Li, Xiaogang Dong

Proceedings of the 2023 5th International Conference on Software Engineering and Development, 2023

2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.

Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021