Xiaofeng Li

According to our database, Xiaofeng Li authored at least 12 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

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

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