周曉宇
博士 副教授 碩士生導師
email: zhouxy{at}seu.edu.cn
1972年生，1998年4月于bet356手机版唯一官网計算機科學與工程系獲碩士學位并留校任教。2011年3月于bet356手机版唯一官网登录在職獲得博士學位。
目前的主要研究領域為程序自動生成和可信軟件開發方法，主要研究方向為反應式系統自動生成、軟件測試與驗證、自然語言處理及其在需求工程中的應用。同時也進行程序分析、知識圖譜、社交網絡分析等方面的研究。
曾參加過多項國家和省自然科學基金項目、部委重點預先研究項目、江蘇省科技攻關項目以及與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的克隆序列與克隆類識别. bet356手机版唯一官网學報:自然科學版. 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