科研項目
[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
