基本信息

陆一飞，南京大学软件学院准聘助理教授，江苏苏州人。2012年进入南京大学软件学院学习，并在其后获得学士、硕士以及博士学位，指导老师为潘敏学以及李宣东老师；于2021年-2022年间留学于瑞士联邦理工学院计算机系，受Zhendong  Su老师指导；曾在软件工程OOPSLA、TOSEM、ISSTA、FSE、ASE、ICSE以及VLDB等国际顶级期刊以及软件学报上发表优秀论文十余篇；主要研究方向为软件测试与分析方法，安卓应用为当前的主要研究主体，此外，研究领域也包括程序逆编译、混淆等在内的程序逆向研究。

           欢迎广大对程序动静态分析以及程序逆向相关领域感兴趣的2027级招考博士研究生与2027级推免硕士研究生同学联系！

发表论文

l [TOSEM 2025, CCF-A] Yifei Lu,  Minxue Pan, Haochuan Lu, Yuetang Deng, Tian Zhang, Linzhang Wang, and  Xuandong Li. Improving Test Efficacy for Large-Scale Android  Applications by Exploiting GUI and Functional Equivalence. ACM  Transactions on Software Engineering and Methodology.

l [OOPSLA 2025, CCF-A] Chaoyue Zhang, Longlong Lu, Yifei Lu,  Minxue Pan, Xuandong Li. Towards a Theoretically-backed and Practical  Framework for Selective Object-Sensitive Pointer Analysis. In  Proceedings of the ACM on Programming Languages, OOPSLA, 2025, To appear, 28 pages.

l  [ASE 2025, CCF-A] Yuanhong Lan, Shaoheng Cao, Yifei Lu,  Minxue Pan, Xuandong Li. NATE: A Network-Aware Testing Enhancer for  Network-Related Fault Detection in Android Apps. In Proceedings of the  40th IEEE/ACM International Conference on Automated Software  Engineering, Seoul, Koreas, To appear.

l  [ASE 2025, CCF-A]Yalin Feng, Yifei Lu, Minxue Pan. PoliCond: Condition-Aware Ontology-Driven LLMs for Privacy Policy Contradiction Analysis. In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, Seoul, Koreas, To appear.

l  [ASE 2024, CCF-A] Yuanhong Lan, Yifei Lu,  Minxue Pan*, Xuandong Li. Navigating Mobile Testing Evaluation: A  Comprehensive Statistical Analysis of Android GUI Testing Metrics. In  Proceedings of the 39th IEEE/ACM International Conference on Automated  Software Engineering, Sacramento, California, United States, pp.  944–956.

l  [ICSME 2024, CCF-B] Wen, Zhongzhen, Yifei Lu*,  Tongtong Xu, Minxue Pan, Tian Zhang, and Xuandong Li. "Enhancing Web  Test Script Repair Using Integrated UI Structural and Visual  Information." In 2024 IEEE International Conference on Software  Maintenance and Evolution (ICSME), pp. 75-86. IEEE, 2024.

l [OOPSLA 2024, CCF-A] Yifei Lu, Weidong Hou, Minxue Pan, Xuandong  Li, Zhendong Su. Understanding and Finding Java Decompiler Bugs.  Proceedings of the ACM on Programming Languages, 8, OOPSLA1, 1-27. 2024

l [ICSE 2024, CCF-A] Yuanhong Lan, Yifei Lu, Zhong  Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li. Deeply Reinforcing  Android GUI Testing with Deep Reinforcement Learning. In Proceedings of  the 46th International Conference on Software Engineering. 2024

l  [TCAD 2024, CCF-A] Lu, Longlong, Minxue Pan, Yifei Lu,  and Xuandong Li. "Hierarchical Model Checking of  SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection."  IEEE Transactions on Computer-Aided Design of Integrated Circuits and  Systems (2024).

l  [ASE 2023, CCF-A] Pengcheng Liu, Yifei Lu,  Wenhua Yang, Minxue Pan. VALAR: Streamlining Alarm Ranking in Static  Analysis with Value-Flow Assisted Active Learning. In Proceedings of the  38th IEEE/ACM International Conference on Automated Software  Engineering (Industry Challenge). 2023

l  [ISSTA 2022, CCF-A] Yifei Lu,  Minxue Pan, Yu Pei, and Xuandong Li. Detecting resource utilization  bugs induced by variant lifecycles in Android. In Proceedings of the  31st ACM SIGSOFT International Symposium on Software Testing and  Analysis, pp. 642-653. 2022.

l  [TOSEM 2023, CCF-A] Minxue Pan, Yifei Lu,  Yu Pei, Tian Zhang, and Xuandong Li. Preference-wise Testing of Android  Apps via Test Amplification. ACM Transactions on Software Engineering  and Methodology 32, no. 1 (2023): 1-37.

l  [JSS 2020, CCF-B] Minxue Pan, Yifei Lu,  Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li. Effective Testing of  Android Apps Using Extended IFML Models. Journal of Systems and  Software, 2020, 159: 110433.

l  [ESEC/FSE 2019, CCF-A] Yifei Lu,  Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li. Preference-Wise  Testing for Android Applications. In Proceedings of the 27th ACM Joint  European Software Engineering Conference and Symposium on the  Foundations of Software Engineering, pp. 268-278. August 26–30, 2019,  Tallinn, Estonia.

l  [软件学报 2019]陆一飞, 潘敏学, 张天, 王林章 以及 李宣东. (2019). 面向安卓应用建模的 IFML 扩展. 软件学报, 30(10), 3148-3167