周晓宇
博士 副教授 硕士生导师
email: zhouxy{at}seu.edu.cn
1972年生，1998年4月于东南大学计算机科学与工程系获硕士学位并留校任教。2011年3月于东南大学计算机科学与工程学院在职获得博士学位。
目前的主要研究领域为程序自动生成和可信软件开发方法，主要研究方向为反应式系统自动生成、软件测试与验证、自然语言处理及其在需求工程中的应用。同时也进行程序分析、知识图谱、社交网络分析等方面的研究。
曾参加过多项国家和省自然科学基金项目、部委重点预先研究项目、江苏省科技攻关项目以及与Intel、南瑞等国内外大型IT企业的合作项目。曾在国内外学术杂志和会议上发表论文30余篇，7次获得省部级科技进步奖和教育部提名国家科学技术奖。
曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“软件体系结构”、“组合数学”等本科生课程的教学工作。
科研项目
[1] 持续知识抽取中的若干关键问题研究.国家自然基金面上项目.参加.
[2] 冰箱控制软件需求描述知识化技术研究.横向（著名外企）.负责
[3] 工业控制程序可信开发技术研究.横向（大型国企）.负责
[4] 基于反模式自动检测的代码质量分析与重构. 国家自然基金面上项目. 参加
[5] 本体匹配中的参数和策略调谐问题研究. 国家自然基金面上项目. 参加
[6] 面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划.参加
[7] 基于程序切片的软件测试优化技术.国家自然科学基金.参加
[8] 高可信软件的测试与评估.国家自然科学基金重点项目.参加
[9] 网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金.参加
[10] 软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目.负责.
[11] 基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究. 国家自然科学基金.参加
[12] 软件测试技术与工具研究.江苏省计算机信息处理技术重点实验室开放基金.负责
[13] 高维稀疏矩阵降维方法的理论研究与应用.国家自然科学基金.参加
获奖
[1]软件分析测试与算法优化的模型、方法与技术，江苏省科技进步奖，一等奖
[2]软件质量保证支撑系统SQAS，湖北省科学技术进步一等奖
[3]软件分析度量与测试的基础理论与方法，教育部提名国家科学技术奖（自然科学奖），二等奖
[4]程序分析与测试技术研究，教育部提名国家科学技术奖（科技进步奖），二等奖
[5]嵌入式软件测试支撑系统ETS，江苏省科学技术进步二等奖
[6]Ada逆向工程与软件维护支撑系统ARMS，江苏省科学技术进步三等奖
[7]Ada程序分析与理解系统APAUS，江苏省科学技术进步二等奖
论文
[1] Peng Zhang, Yang Wang, Xutong Liu, Yanhui Li, Yibiao Yang, Ziyuan Wang, Xiaoyu Zhou, Lin Chen, Yuming Zhou. Mutant reduction evaluation: what is there and what is missing? ACM Transactions on Software Engineering and Methodology, 31(4), article 69, 2022: 1-46.
[2] Yue Meng, Peng Wang, Junyan Xiao, Xiaoyu Zhou. NeLSTM: a new model for temporal link prediction in social networks. IEEE 13th International Conference on Semantic Computing (ICSC). January 2019.
[3] Ju Qian, Long Wang, Xiaoyu Zhou. A Lightweight Approach to Detect Memory Leaks in JavaScript. The 30th International Conference on Software Engineering and Knowledge Engineering. July 2018.
[4] Zhifei Chen, Lin Chen, Wanwangying Ma, Xiaoyu Zhou, YuMing Zhou, Baowen Xu. Understanding metric-based detectable smells in Python software: A comparative study. Information and Software Technology. September 2017.
[5] Ju Qian, Xiaoyu Zhou, Wanchun Dang, Ziyuan Wang: A Specification-Based Approach to the Testing of Java Memory Bloat. QRS 2016: 347-352
[6] Wanwangying Ma, Lin Chen, Yuming Zhou, Baowen Xu, Xiaoyu Zhou: Are Anti-patterns Coupled? An Empirical Study. QRS 2015: 242-251
[7] Peng Wang, Baowen Xu, Yurong Wu, Xiaoyu Zhou: Link prediction in social networks: the state-of-the-art. SCIENCE CHINA Information Sciences 58(1): 1-38 (2015)
[8] Yuming Zhou, Yibiao Yang, Baowen Xu, Hareton Leung, Xiaoyu Zhou: Source code size estimation approaches for object-oriented systems from UML class diagrams: A comparative study. Information & Software Technology 56(2): 220-237 (2014)
[9] Peng Wang, Baowen Xu, Yurong Wu, Xiaoyu Zhou: Link Prediction in Social Networks: the State-of-the-Art. CoRR abs/1411.5118 (2014)
[10] Ju Qian, Xiaoyu Zhou: Inferring weak references for fixing Java memory leaks. ICSM 2012: 571-574.
[11] Wentao Ma, Xiaoyu Zhou, Xiaofang Qi, Ju Qian, Lei Xu, Rui Yang. Identification of Design Patterns Using Dependence Analysis. International Conference on Software Engineering and Knowledge Engineering (Seke 2012). SEKE 2012: 289-292.
[12] Binxian Tao, Ju Qian and Xiaoyu Zhou. Side-Effect Analysis with Fast Escape Filter. the ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012). SOAP@PLDI 2012: 15-20
[13] 王璐璐,李必信,周晓宇. 一种有效的全路径剖析方法.软件学报,2012.6期.
[14] 周晓宇,钱巨,陈林,徐宝文.基于形态分析识别设计模式中的集中管理式聚集.软件学报. 2010,21(11):2725−2737.
[15] Xiaofang Qi; Xiaoyu Zhou; Xiaojing Xu; Yingzhou Zhang; Slicing Concurrent Programs Based on Program Reachability Graphs. In: Conference of the 10th International Conference on Quality Software (QSIC), 2010: 248 – 253.
[16] 尹恒,周晓宇.一种恢复状态模式的状态转换图的方法.计算机与数字工程.2010,38(1):71-73.
[17] 周晓宇, 徐宝文. 一个设计模式自动识别技术研究框架. 计算机科学. 2009, 36(5):124-128.
[18] ZHOU Xiaoyu; QIAN Ju; CHEN Lin; XU Baowen. Automatic Identification of Use Cases from Codes: A User's Goal Driven Approach. WuhanUniversity Journal of Natural Sciences. 2009, Vol.14 No.5, 409-414.
[19] Ju Qian, Baowen Xu, Xiaoyu Zhou, Lin Chen, Liang Shi. Dependence analysis for C programs with combinability of dataflow facts under consideration. Wuhan University Journal of Natural Sciences, 2009, Volume 14, Number 4. 321-326.
[20] Lin Chen, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou: A Constraint Based Bug Checking Approach for Python. In: The 33rd Annual IEEE International Computer Software and Applications Conference(COMPSAC),2009,Volume 2: 306-311.
[21] 张楠,周晓宇,陈林.基于惩罚函数的演化测试优化方法研究.计算机与数字工程.2009年04期.
[22] 余超,周天琳,周晓宇,陈林,徐宝文.TPython:一种扩充的Python语言.计算机与数字工程, 2009年 05期.
[23] 李亚军,徐宝文,周晓宇.基于AST的克隆序列与克隆类识别. 东南大学学报:自然科学版. 2008,38(2),228-232.
[24] 曹璟, 徐宝文, 周晓宇, 钱巨, 杨彬. 基于面向方面调用图的AspectJ动态通知编织优化.软件学报.2008, 19(9):2218-2227.
[25] 陈林，徐宝文，周晓宇，曹璟. 一种基于类型推导的泛型Java程序重构方法. 电子学报(增刊) v 36, 2007: 185-191.
[26] 姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报.第18卷第4期.2007: 832-841.
[27] 戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并法程序依赖分析方法.电子学报,Vol(35) No(2),2007: 287-291
[28] Xiaoyu Zhou, Tianlin Zhou, Ju Qian, Baowen Xu, Yanxiang He. Identifying Use Case Relations From Codes. The Ninth IASTED International Conference on Software Engineering and Applications. Phoenix, Arizona, USA, November, 2005.
[29] Xiaoyu Zhou, Baowen Xu, Liang Shi, Lin Chen. Express Calculation Decomposition with Extended Aspect-oriented Programming Language. Journal of Electronics and Computer Science. Vol. 7, No. 1, Summer 2005. ISSN 1229-425X. pp: 89-100.
[30] Liang Shi, Baowen Xu, Lin Chen, Xiaoyu Zhou. SQAS: A Platform for Software Analysis and Testing. Journal of Electronics & Computer Science. Vol. 7, No. 1, Summer 2005. pp37-45.
[31] 周晓宇，李慎之，戚晓芳，徐宝文. 2002. 数据挖掘技术初探. 小型微型计算机系统，2002，23(3):342-346.
[32] 管杰，周晓宇，陈振强，卢虹，徐宝文，C++程序分析测试辅助系统CATER的设计与实现，软件学报，2002，13(增刊):259-264.
[33] 徐宝文, 陈振强, 周晓宇. 基于依赖性分析的面向对象Ada95程序切片. 软件学报, 2001, 12(增刊), 208-213.
[34] 张卫丰, 徐宝文, 周晓宇. 一种改进的参考文献检索中的相关性技术. 软件学报, 2001, 12(增刊), 317-322.
[35] 张卫丰, 徐宝文, 周晓宇, 李东, 许蕾. Web搜索引擎综述. 计算机科学, 2001, 28(9), 24-28.
[36] 张卫丰, 徐宝文, 周晓宇, 许蕾, 李东. 元搜索引擎综述. 计算机科学, 2001, 28(8), 36-41.
[37] Zhang Weifeng, Xu Baowen, Zhou Xiaoyu, Huang H. Scheduling in a Meta Search Engine by Genetic Algorithm. WuhanUniversity Journal of Natural Sciences, 6(1-2), Mar. 2001, 541-546
