更新时间：2023-05-27 08:57
周晓宇，男，1972年生。1998年起在东南大学计算机科学与工程系任教，主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。
[1]面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划(90818027).2009–2012.参加
[2]基于程序切片的软件测试优化技术.国家自然科学基金(60803007).2009-2011.参加
[3]高可信软件的测试与评估.国家自然科学基金重点项目(60633010).2007-2010.参加
[4]网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金(90412003).2004-2006.参加
[5]软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目(BK2006094).2006-2008.负责
[6]基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究. 国家自然科学基金(60503020).2006-2008.参加
[7]软件测试技术与工具研究.江苏省计算机信息处理技术重点实验室开放基金(KJS02009).2004-2005.负责
[8]高维稀疏矩阵降维方法的理论研究与应用.国家自然科学基金(60303024).2004-2004.参加
软件分析测试与算法优化的模型、方法与技术，江苏省科技进步奖，一等奖，2007年软件质量保证支撑系统SQAS，湖北省科学技术进步一等奖，2005年软件分析度量与测试的基础理论与方法，教育部提名国家科学技术奖（自然科学奖），二等奖，2005年程序分析与测试技术研究，教育部提名国家科学技术奖（科技进步奖），二等奖，2004年嵌入式软件测试支撑系统ETS，江苏省科学技术进步二等奖，2003年Ada逆向工程与软件维护支撑系统ARMS，江苏省科学技术进步三等奖，2001年Ada程序分析与理解系统APAUS，江苏省科学技术进步二等奖，1998年
周晓宇,钱巨,陈林,徐宝文.基于形态分析识别设计模式中的集中管理式聚集.软件学报. 2010,21(11):2725−2737.XiaofangQi; XiaoyuZhou; XiaojingXu; YingzhouZhang; Slicing Concurrent Programs Based on Program ReachabilityGraphs. In: Conference of the 10th International Conference on Quality Software (QSIC), 2010: 248 –253.尹恒,周晓宇.一种恢复状态模式的状态转换图的方法.计算机与数字工程.2010,38(1):71-73.周晓宇, 徐宝文. 一个设计模式自动识别技术研究框架. 计算机科学. 2009, 36(5):124-128.ZHOU Xiaoyu; QIAN Ju; CHEN Lin; XU Baowen. Automatic Identification of Use Cases from Codes: A User's Goal Driven Approach. WuhanUniversityJournal of Natural Sciences. 2009, Vol.14 No.5, 409-414.JuQian, Baowen Xu, XiaoyuZhou, 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.Lin Chen, Baowen Xu, TianlinZhou, XiaoyuZhou: 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.张楠,周晓宇,陈林.基于惩罚函数的演化测试优化方法研究.计算机与数字工程.2009年04期.余超,周天琳,周晓宇,陈林,徐宝文.TPython:一种扩充的Python语言.计算机与数字工程, 2009年05期.李亚军,徐宝文,周晓宇.基于AST的克隆序列与克隆类识别. 东南大学学报:自然科学版. 2008,38(2),228-232.曹璟, 徐宝文, 周晓宇, 钱巨, 杨彬. 基于面向方面调用图的AspectJ动态通知编织优化.软件学报.2008, 19(9):2218-2227.陈林，徐宝文，周晓宇，曹璟. 一种基于类型推导的泛型Java程序重构方法. 电子学报(增刊) v 36, 2007: 185-191.姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报.第18卷第4期.2007: 832-841.戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并法程序依赖分析方法.电子学报,Vol(35) No(2),2007: 287-291XiaoyuZhou, TianlinZhou, JuQian, Baowen Xu, YanxiangHe. Identifying Use Case Relations FromCodes. The Ninth IASTED International Conference on Software Engineering and Applications. Phoenix, Arizona, USA, November, 2005.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.Liang Shi, Baowen Xu, Lin Chen, XiaoyuZhou. SQAS: A Platform for Software Analysis and Testing. Journal of Electronics & Computer Science. Vol. 7, No. 1, Summer 2005. pp37-45.周晓宇，李慎之，戚晓芳，徐宝文. 2002. 数据挖掘技术初探. 小型微型计算机系统，2002，23(3):342-346.管杰，周晓宇，陈振强，卢虹，徐宝文，C++程序分析测试辅助系统CATER的设计与实现，软件学报，2002，13(增刊):259-264.徐宝文, 陈振强, 周晓宇. 基于依赖性分析的面向对象Ada95程序切片. 软件学报, 2001, 12(增刊), 208-213.张卫丰, 徐宝文, 周晓宇. 一种改进的参考文献检索中的相关性技术. 软件学报, 2001, 12(增刊), 317-322.张卫丰, 徐宝文, 周晓宇, 李东, 许蕾. Web搜索引擎综述. 计算机科学, 2001, 28(9), 24-28.张卫丰, 徐宝文, 周晓宇, 许蕾,李东. 元搜索引擎综述. 计算机科学, 2001, 28(8), 36-41.Zhang Weifeng, Xu Baowen, Zhou Xiaoyu, Huang H. Scheduling in a MetaSearch Engine by Genetic Algorithm. WuhanUniversityJournal of Natural Sciences, 6(1-2), Mar. 2001, 541-546张卫丰，徐宝文，陈振强，周晓宇，基于Web的参考文献搜索模型研究，南京大学学报（自然科学）Computer Issue, 2000, 36(10), 602-606.张卫丰, 徐宝文, 周晓宇. Web页面中的计数器研究. 小型微型计算机系统, 2000, 21(10), 1096-1099.
[1] 徐宝文主编，孟小峰、于戈、周晓宇、周天琳副主编. Web信息系统及其应用.电子工业出版社. 2004年10月
[2] 徐宝文主编，陈陵、周晓宇副主编.程序设计语言与教学进展.电子工业出版社.2003年3月
[3] 徐宝文、周晓宇、蔡家楣主编.程序设计语言及其教学.电子工业出版社.2001
[4] 徐宝文、郑国梁、周晓宇主编.程序设计语言研究与教学.电子工业出版社.1998