皇冠体育app

Lei Xu 许 蕾 Department of Computer Science and Technology Nanjing University, Nanjing 210023, China mail: xlei (AT) hgtyapp.net

个人简历

• Purdue大学计算机科学系访问学者，2013.10-2014.10
• 东南大学计算机科学与工程系硕博连读，2000.9-2004.12
• 东南大学计算机科学与工程系本科生，1996.9-2000.6

研究兴趣

目前我的研究兴趣包括软件分析测试、智能化软件工程等。

教学

• 软件分析测试：2013-2023秋季学期，研究生选修课
• 金融软件工程：2017-2023春季学期，本科生平台课
• Web程序分析测试：2012-2022秋季学期，本科生高年级研讨课
• 电子商务：2009-2016春季学期，本科生选修课

部分论文列表

• Jinyao Zhou, Lei Xu*, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang. NodeRT: Detecting Races in Node.js Applications Practically. The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023). pp 1332-1344, //doi.org/10.1145/3597926.3598139. CCF A
• Xincheng He, Xiaojin Liu, Lei Xu*, Baowen Xu. How Dynamic Features Affect API Usages? An Empirical Study of API Misuses in Python Programs. Proceedings of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023), 522-533. CCF B
• Qiang Zhang, Lei Xu*, Baowen Xu. RegCPython: A Register-Based Python Interpreter for Better Performance. ACM Transactions on Architecture and Code Optimization (TACO)，Vol. 20, No. 1, Article 14. Publication date: December 2022.pp1-25. CCF A
• Qiang Zhang, Lei Xu*, Xiangyu Zhang, Baowen Xu. Quantifying the interpretation overhead of Python. Science of Computer Programming, Volume 215, 1 March 2022, 102759, //doi.org/10.1016/j.scico.2021.102759. CCF B
• Hongquan Zhu, Xincheng He, Lei Xu*. HatCUP: Hybrid Analysis and Attention based Just-In-Time Comment Updating. ICPC ’22, May 16-17, 2022, Virtual Event, USA. CCF B
• Xincheng He, Lei Xu*, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu. PyART: Python API Recommendation in Real-Time. ICSE 2021, Virtual Event, 1634-1645. CCF A
• Junyu Lin, Lei Xu*, Yingqi Liu, Xiangyu Zhang. Composite Backdoor Attack for Deep Neural Network by Mixing Existing Benign Features. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (CCS’20), November 9-13, 2020, Virtual Event, USA, 113-131. CCF A
• Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, and Xiangyu Zhang. Correlations between Deep Neural Network Model Coverage Criteria and Model Quality. In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’20), November 8-13, 2020, Virtual Event, USA. ACM, New York, NY, USA, 775-787. CCF A
• Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan*, Shiqing Ma, Lei Xu*, Weifeng Zhang, Lin Tan, Xiangyu Zhang. CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis. 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE 2020), 1359-1371. CCF A
• Junyu Lin, Lei Xu*, Yingqi Liu, Xiangyu Zhang. Black-box adversarial sample generation based on differential evolution. The Journal of Systems & Software, Available online 1 August 2020, December 2020, Vol.170, 1-11. CCF B
• Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu. Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing. ICSE 2019, 488-499. CCF A
• Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster. ARROW: automated repair of races on client-side web pages. Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA16), 201-212. CCF A
• Yibiao Yang, Yuming Zhou, Jinping Liu, Yangyang Zhao, Hongmin Lu, Lei Xu, Baowen Xu, and Hareton Leung. Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016), 157-168. CCF A
• Gongzheng Lu, Lei Xu*, Yibiao Yang, Baowen Xu*. Predictive analysis for race detection in Software-Defined Networks. SCIENCE CHINA Information Sciences, June 2019, Vol. 62, 062101:1-062101:20. //doi.org/10.1007/s11432-018-9826-x CCF A
• Chen Lin, Ma Wanwangying, Zhou Yuming, Xu Lei, Wang Ziyuan & Xu Baowen. Empirical analysis of network measures for predicting high severity software faults. SCIENCE CHINA Information Sciences, 2016, December 2016, Vol. 59 122901:1-122901:18, //doi: 10.1007/s11432-015-5426-3 CCF A
• Lei Xu, Quan Sun, Baowen Xu, Weifeng Zhang. Statically Detect Data Races for WS-BPEL Web Services by Constraint Solver. 23rd IEEE International Conference on Web Services (ICWS16), 476-483 CCF B
• Wei Lin, Zhifei Chen, Wanwangying Ma, Lin Chen, Lei Xu and Baowen Xu. An Empirical Study on the Characteristics of Python Fine-Grained Source Code Change Types. 32^nd International Conference on Software Maintenance and Evolution (ICSME 2016), 188-199 CCF B
• Min Gong, Zhaogui Xu, Lei Xu*, Yanhui Li, Lin Chen. Recommending Web Service Based on User Relationships and Preferences. 2013 IEEE 20th International Conference on Web Services (ICWS 2013), pp 380-386 CCF B
• 孙全, 许蕾*, 夏昕�, 张卫丰. 使用共享变量分析和约束求解检测安卓应用数据竞争.软件学报. 2019,30(11): 3281-3296. 中文A类
• 樊田田, 许蕾*, 陈林. 基于多目标优化算法NSGA-II推荐相似缺陷报告. 计算机学报, 2018, 41(3):1-18. 中文A类
• 许蕾, 刘蕊成, 陈贵美, 赵晨, 张卫丰. 基于Jalangi的广告代码调用路径追踪. 软件学报, 2019, 30(7): 2124-2138. 中文A类
• 缪小川, 汪睿, 许蕾*, 张卫丰, 徐宝文. 使用敏感路径识别方法分析安卓应用安全性.软件学报, 2017, 28(9): 2248-2263. 中文A类
• 许蕾, 李言辉, 陈林, 宫敏, 颜友军, 徐宝文. 一种面向用户需求的Web服务测试方法. 计算机学报, 2014, 37(3): 512-521. 中文A类
• 丁晖, 陈林, 钱巨, 许蕾, 徐宝文. 一种基于信息量的缺陷定位方法. 软件学报, 2013, 24(7) : 1484-1494. 中文A类
• 涂径玄, 陈林, 许蕾, 卢红敏, 徐宝文. 考虑类特性的面向对象错误定位. 计算机学报, 2013, 36(12):2420-2428. 中文A类
• 许蕾, 陈林, 徐宝文.用户需求驱动的Web服务测试.计算机学报, 34(6), 2011, 34(6): 1029-1040. 中文A类

专利

已授权

• 一种基于概率对齐的代码错误定位方法（专利号：ZL202010576945.3，发明人：许蕾、王智楷、刘翔宇、田晓滨、王瀚霖、颜同路），授权公告日：2023.8.8
• 一种基于程序分析的Java函数注释自动生成方法（专利号：ZL202110045380.0，发明人：许蕾、周航），授权公告日：2022.5.31
• 一种基于程序分析和文本分析的Python代码参考信息生成方法（专利号：ZL201910970630.4，发明人：许蕾、陶英、徐宝文），授权公告日：2021.8.20
• 基于约束求解和描述逻辑的Web服务组合方法（专利号：ZL201510196988.8，发明人：许蕾、曹赖平、李言辉、徐宝文），授权公告日：2018.6.26
• 基于预测性分析的安卓应用程序数据竞争检测（专利号：ZL 201510626507.2，发明人：许蕾、孙全、陈林、徐宝文），授权公告日：2017.12.12
• 用于检测Web服务组合中BPEL流程数据竞争的方法（专利号：ZL201410787154.X，发明人：许蕾、胡友来、李言辉、陈林、徐宝文），授权公告日：2017.10.27
• 一种基于社交网络平台的Web服务推荐方法（专利号：ZL201310695891.2，发明人：许蕾、宫敏、李言辉、陈林、徐宝文），授权公告日：2017.1.25
• 一种Web服务测试用例自动生成方法（专利号：ZL201410396502.0，发明人：许蕾、周立波、陈林、李言辉、徐宝文），授权公告日：2017.1.25
• 面向智能移动平台的Web服务推送方法（专利号： ZL 201110414440.8，发明人：许蕾, 颜友军, 陈林, 徐宝文），授权公告日：2014.4.23
• 一种基于聚类不变式分析的错误定位方法（专利号：ZL201110413498.0，发明人：陈林, 吴迪, 许蕾, 徐宝文），授权公告日：2014.11.6

已申请

• 许蕾、周敬尧，基于发生序关系规则的Node.js应用程序数据竞争检测方法，202211587201.7
• 许蕾、朱泓全，一种基于数据流分析和注意力机制的Java方法注释及时自动更新方法，202211587140.4
• 许蕾、刘笑今，一种基于图学习的Python语言代码片段生成方法，202210034177.8
• 许蕾、何欣程、徐宝文，一种基于上下文分析的Python API实时推荐方法，202010957757.5
• 许蕾、查春柳、陈林、徐宝文，一种基于静态程序分析的JavaScript函数参数不匹配检测方法，201910195658.5

 

最近更新：2023.08