2011年重点实验室共发表论文53篇，起草行业标准6项，具体内容列表如下：
| No. | 姓名 | 论文/著作名称 | 发表类型 | 期刊/会议名称/书号 | 卷(期)/会议日期/著作出版日期 |
| 1 | Lizhi Cai、Juan Zhang、Zhenyu Liu | A CPN-base Software Testing Approach | 期刊 | JOURNAL OF SOFTWARE | March 2011 Volume 6 Numbere 3 |
| 2 | Lizhi Cai | A Business Process Testing Sequence Generation Approach Based on Test Cases Composition | 会议 | Computers, Network,Systems,and Industrial Engineering | 23-25 May 2011 |
| 3 | Lizhi Cai、Xiaoyan Xie、Shidong Huang | Software Quality Model Development-An Introduction | 会议 | International Conference on Computer Engineering and Applications | 2011 3rd July |
| 4 | Zhenyu Liu | A Quality Evaluation Framework Based on Distribution Measurement in Service Computing Environment | 会议 | The Third International Conference on Creative Content Technologies | 2011 |
| 5 | Zhenyu Liu、Xu Jiang、Lizhi Cai | Design and Applications of Test Cases in the Business Process | 会议 | 5th World Congress for Software Quality | Shanghai, China – November 2011 |
| 6 | Liu Zhen-yu,Yang Gen-xing,Cai Li-zhi | Software Test Case Generation with Adequacy Analysis on Scenario-Based Testing | 期刊 | JOURNAL OF Donghua University(Eng.Ed.) | vol.28,No.2(2011) |
| 7 | Ting Li、Zhenyu Liu、Xu Jiang | A Test Case Suite Generation Framework of Scenario Testing | 会议 | The Third International Conference on Advances in System Testing and Validation Lifecycle | 2011 |
| 8 | 池震奇、蔡立志、胡芸 | 中小软件项目中基于敏捷过程域控制的QA外包探索 | 期刊 | 软件产业与工程 | 2011年第6期 |
| 9 | 苏金梅、蔡立志 | 环境监测系统通信协议测试与分析 | 期刊 | 计算机应用于软件 | Vol.28 No.11 |
| 10 | 李晓庆、崔健、蔡立志 | 基于UML状态图的软件测试研究 | 期刊 | 计算机工程 | vol.27 No.18-20 September 2011 |
| 11 | Xiao qing Li、Da li Chen、Li zhi Cai | Research on Software Testing Based on UML StatechartsDiagram | 会议 | 5th World Congress for Software Quality – | Shanghai, China – November 2011 |
| 12 | 盛幼为 | IT企业竞入多“云”时代 | 期刊 | 上海经济 | 2011 2-3 |
| 13 | 李嘉、易平、宋巍、蔡立志 | 一种基于功能点规模度量的软件成本估算模型 | 期刊 | 软件产业与工程 | Sep-11 |
| 14 | 姜旭，张波 | 基于RDF的查询扩展研究 | 期刊 | 计算机应用与软件 | vol.28,NO.12,Dec,2011 |
| 15 | 姜旭，蔡立志 | 基于本体的P2P网络资源搜索 | 期刊 | 软件产业与工程 | 第1期，2011 |
| 16 | 宋巍、沈建雄、杨根兴、蔡立志 | 软件功能测试规模估算模型研究及应用 | 期刊 | 计算机工程 | 第37卷，第7期，2011年4月5日 |
| 17 | 信息技术 软件测量 功能规模测量 第2部分：软件规模测量方法与GB/T18491.1-2001的符合性评价 | 标准 | |||
| 18 | GB/T 18491.3-2010信息技术 软件测量 功能规模测量 第3部分：功能规模测量方法的验证 | 标准 | |||
| 19 | GB/T 18491.4-2010信息技术 软件测量 功能规模测量 第4部分：基准模型 | 标准 | |||
| 20 | GB/T 18491.5-2010信息技术 软件测量 功能规模测量 第5部分：功能规模测量的功能域确定 | 标准 | |||
| 21 | GB/T 18491.6-2010 信息技术 软件测量 功能规模测量 第6部分：GB/T 18491系列标准和相关标准的使用指南 | 标准 | |||
| 22 | GB/T 25000.51-2010 软件工程 软件产品质量要求与评价(SQuaRE) 商业现货(COTS)软件产品的质量要求和测试细则 | 标准 | |||
| 23 | 评测基准库服务平台软件V1.0(2011SR002649) | 著作 | |||
| 24 | 胡立立，缪淮扣，陈圣波，梅佳 | 威胁驱动的Web 应用On-The-Fly 导航模型验证方法 |
期刊 | 应用科学学报 | 29(1), 2011 |
| 25 | 刘攀、缪淮扣，曾红卫, 梅佳 | 确定性有限状态机的最小测试成本 迁移覆盖准则 |
期刊 | 软件学报 | 22(7), 2011 |
| 26 | 黄 龙, 缪淮扣, 王皙, 郭亮 | 基于场景的形式化测试模型生成方法 | 期刊 | 上海大学学报 | 17(5),2011 |
| 27 | Honghao Gao, Huaikou Miao, Shengbo Chen, and Jia Mei. |
Applying Bounded Model Checking to Verifying Web Navigation Model. |
会议 | Computer and Information Science 2011 | May 16 - 18 Sanya, Hainan Island, China,Studies in Computational Intelligence 364, Springer, |
| 28 | Honghao Gao, Huaikou Miao, Shengbo Chen, and Jia Mei. |
Quantitative Verification of Navigation Model for Reliable Web Applications |
会议 | First ACIS/JNU Computers, Networks, Systems, and Industrial Engineering(CNSI2011) |
May 23-25 , 2011, Jeju Island, Korea, IEEE |
| 29 | Yang Liu, Huaikou Miao, Zhuang Li, and Honghao Gao. |
QoS-Aware Web Services Composition based on HQPSO Algorithm |
会议 | First ACIS/JNU Computers, Networks,Systems, and Industrial Engineering(CNSI2011) |
May 23-25 , 2011, Jeju Island, Korea, IEEE |
| 30 | 刘攀，缪淮扣，曾红卫，刘阳 | 基于FSM的测试理论、方法及评估 | 期刊 | 计算机学报 | 34(6)，2011 |
| 31 | 缪淮扣，陈圣波，曾红卫 | 基于模型的Web应用测试 | 期刊 | 计算机学报 | 34(6)，2011 |
| 32 | Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei | Probabilistic Timed Model Checking for Atomic Web Service | 会议 | 2011 IEEE World Congress on Services | July 4-6 09 ,Washington Marriott, USA, IEEE |
| 33 | Shengbo Chen, Huaikou Miao | Modeling and verifying for Frameset-based Web applications | 会议 | 2011 Firth International Conference on Theoretical Aspects of Software Engineering(IEEE TASE2011) | August 29-31 2011,Xi’an China,IEEE |
| 34 | Honghao Gao，Huaikou Miao, Shuoping Wang, Jia Mei, Yang Liu | Model Checking the Reliability of Interactive Behaviors for Mobile Computing | 期刊 | Advances in Information Sciences and Service Sciences | 3(6), July 31, 2011, |
| 35 | Yang Liu, Huaikou Miao | Probabilistic Petri Net and Its Logical Semantics | 会议 | SERA2011, | August 11-12, 2011,Baltimore USA, |
| 36 | Honghao Gao, Huaikou Miao，Hongwei Zeng | Research on Web Service Composition using Probabilistic Abstraction Refinement | 会议 | 2011 Firth International Conference on Theoretical Aspects of Software Engineering(IEEE TASE2011) | August 29-31 2011,Xi’an China,IEEE |
| 37 | Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao | Verifying Web Services Composition based on Interface Automata using SPIN | 期刊 | International Journal of Digital Content Technology and its Applications | 4(8),2010 |
| 38 | Ying Chen, Ye Tian, Hongwei Zeng | Test generation by using component composition abstraction refinement | 会议 | 10th IEEE/ACIS ICIS | May 16 - 18, Sanya, Hainan Island, China |
| 39 | Sun, Hua, Yu, Huiqun ; Yang, Nianhua ; Li, Li | Verifiable reputation management scheme based on RSA threshold secret sharing in P2P networks | 期刊 | Journal of Computational Information Systems | 2011,7(8) |
| 40 | Yang, Nianhua,Yu, Huiqun, Sun, Hua, Qian, Zhilin | Modeling UML sequence diagrams using extended Petri nets | 期刊 | Telecommunication Systems | 2011 |
| 41 | Yang, Nianhua,Yu, Huiqun, Sun, Hua, Qian, Zhilin | Scheduling Real-Time Embedded Systems Based on TCPNIA | 期刊 | Journal of Software | 2011,6(3) |
| 42 | Sun, Hua, Yu, Huiqun ; Yang, Nianhua ; Li, Li | Expression and evaluation of reputation based on fuzzy set theory | 期刊 | Journal of Computational Information Systems | 2011,8(1) |
| 43 | Yang, Nianhua,Yu, Huiqun, Sun, Hua, Qian, Zhilin | Modeling and quantitatively predicting software security based on stochastic Petri nets | 期刊 | Mathematical and Computer Modelling | |
| 44 | Guisheng Fan,Huiqun,Yu, Liqiong Chen, Dongmei Liu | A Certificate Driven Access Control Strategy for Service Composition and Its Analysis | 会议 | 2011 International Joint Conference of IEEE TrustCom-11/IEEE ICESS-11/FCST-11 | 2011 |
| 45 | Guisheng Fan,Huiqun,Yu, Liqiong Chen, Dongmei Liu | An Approach to Analyzing Time Constrained Service Composition | 期刊 | Journal of Computers | 2011,6（8） |
| 46 | Liqiong Chen, Guisheng Fan，Yunxiang Liu | Analyzing Schedulability of Energy-oriented Distributed Real-time Embedded Software | 期刊 | Journal of Software | 2011,6(9) |
| 47 | Ting Chen, Huiqun Yu | Bilinear Parings in Property-based Attestation | 期刊 | Journal of Computers | 2011,6（2） |
| 48 | Huiqun Yu,Dongmei Liu, Guisheng Fan, Liqiong Chen | A Regression Test Technique for Analyzing the Functionalities of Service Composition | 会议 | The 23rd International Conference on Software Engineering and Knowledge Engineering | July 7 - July 9, 2011 |
| 49 | 杨年华,虞慧群,孙华 | 带抑制弧的时延着色Petri网模型检测技术 | 期刊 | 计算机科学 | 2011,38（1） |
| 50 | 孙华,虞慧群,杨年华 | 基于P2P的无需第三方验证的本地信誉存储管理 | 期刊 | 电子学报 | 2011,39（A04） |
| 51 | 范贵生，虞慧群，顾春华，陈丽琼 | 基于面向方面技术的服务安全组合故障分析 | 期刊 | 小型微型计算机系统 | 2011,32（9） |
| 52 | 曹杰, 刘晓强, 蔡立志,杨根兴,刘振宇 | 信息发布系统中TS over IP稳定传输的研究与应用 | 会议 | 《计算机应用与软件》 | 28(8), 2011.8 |
| 53 | Ju Qian, Lin Chen, Baowen Xu, Xiaofang Zhang | Contribution-Based Call Stack Abstraction for Call String Based Pointer Analysis | 期刊 | Information and Software Technology | 2011, 53(6) |
| 54 | 张德平,查日军 | 基于Markov链使用模型的加速统计测试方法 | 期刊 | 东南大学学报 | 2011, 41(5) |
| 55 | 王子元,钱巨,陈林,徐宝文 | 基于One-test-at-a-time 策略的可变力度组合测试用例生成方法 | 期刊 | 计算机学报 | |
| 56 | 钱巨，张磊，徐宝文 | 一种基于差异分散化的错误定位方法 | 期刊 | 计算机学报 | |
| 57 | Shengbo Chen, Huaikou Miao, Bo Song | AGT4W:Automatic Generating Tests for Web Applications | 期刊 | Lecture Notes in Electrical Engineering | Springer, December, 2011 |
| 58 | Bo Song, Shengbo Chen | Testing Web Applications with Web Frameset and Browser Interactions | 期刊 | Information Technology Journal | Volume: 10, Issue: 7, 2011 |
| 59 | Bo Song, Shengwen Gong, Shengbo Chen | Counterexamples-Guided Tests Generation for Web Applications. | 会议 | In Proc. CiSE 2011 | December 9-11, 2011. Wuhan, China |
| 60 | Bo Song, Shengwen Gong, Shengbo Chen | Model Composition and Generating Tests for Web Applications | 会议 | In Proc. CIS 2011 | December 3-4, 2011. Sanya, Hainan, China |
| 61 | 高洪皓，缪淮扣，曾红卫，陈圣波 | 一种基于SOA架构的模型检验工具技能方法 | 专利 | 中华人民共和国国家知识产权局 | |
| 62 | Liu Xiaoqiang, Zhong Hua, Liu Wei, Li Feng, Cai Lizhi, Yang Genxing, Liu Zhenyu | A Framework of Software Testing Based on Cloud Computing | 会议 | ICACT2011: The 2nd International Conference on Advancements in Computing Technology（EI） | 2011.11, Korea |
| 63 | Liu Xiaoqiang, Guo Jiale, Jiang Ke, Song Hui , Zhao Xiaoyan, Ma Yue, Zhang Chao | A Hybrid Sensory Evaluation System for Vegetable Breeding Selections | 会议 | ICCIT2011: The 6th International Conference on Computer Sciences and Convergence Information Technology (EI) | 2011.11, Korea |
| 64 | Tiejiang Liu, Tun Lu, Wei Wang, Qi Wang, Zhenyu Liu, Ning Gu. | A service deployment management system for optimization in clouds while guaranteeing users’ QoS requirements | 期刊 | Future Generation Computer Systems | |
| 65 | Liping Gao, Tun Lu | Achieving Transparent & Real-time Collaboration in Co-AutoCAD Applications | 期刊 | Journal of Universal Computer Science |
