[1]
Myers G J, Sandler C, Badgett T. The Art of Software Testing[M]. John Wiley & Sons, 2011.
[2] 李鹏,杨永艳. 基于业务数据的大型企业SOA测试方法[J]. 计算机工程, 2012,38(4):6062.
[3] 〖JP2〗宋波,张忠能. 基于系统功能测试的软件自动化测试可行性分析[J]. 计算机应用与软件, 2006,22(12):3133.
[4] 颜炯,王戟,陈火旺. 基于模型的软件测试综述[J]. 计算机科学, 2004,31(2):184187.
[5] 单锦辉,姜瑛,孙萍. 软件测试研究进展[J]. 北京大学学报(自然科学版), 2005,41(1):134145.
[6] 杨文,黄文涛. 通用自动测试系统的软件设计与实现[J]. 工业控制计算机, 2012(1):7980.
[7] 王先平,齐逸. 面向服务计算中Web服务动态绑定模型研究[J]. 计算机工程与设计, 2010(19):41654167.
[8] 李玮. 软件自动化测试混合框架的研究与实现[J]. 北京交通大学学报, 2007(4):2731.
[9] 杨宁,刘丹军. 基于JFinal框架的Java Web应用开发研究[J]. 电脑知识与技术, 2014(7):7476.
[10]史永莉,陈元琰,罗晓曙,等. 软件自动化测试方案的效益分析[J]. 微计算机信息, 2010(6):218219.
[11]汪邦慧,徐从来. 软件自动化测试框架设计与实践[J]. 卫星电视与宽带多媒体, 2013(11):5761.
[12]张坤. 基于业务流程驱动自动化测试研究与实现[J]. 计算机光盘软件与应用, 2013(5):268269.
[13]马春燕,朱怡安,陆伟. Web服务自动化测试技术[J]. 计算机科学, 2012,39(2):162169.
[14]邢翠芳,杜晶,赵海冰. 软件自动化测试技术研究[J]. 电脑知识与技术, 2013(12):6162.
[15]Eckel B. Thinking in Java[M]. 3rd Edition. Prentice Hall, 2013.
[16]牟永敏,姜宇,张志华. 软件自动化测试中热点路径的研究[J]. 计算机工程与科学, 2011,33(6):7983.
[17]聂长海. 关于软件测试的几点思考[J]. 计算机科学, 2011,38(2):13.
[18]Chen Zhe, Gu Yi, Huang Zhiqiu, et al. Model Checking Aircraft Controller Software: A Case Study[DB/OL].
http://onlinelibrary.wiley.com/doi/10.1002/spe.2242/abstract,20131121.
[19]Chen Zhe. Control Systems on Automata and Grammars[J/OL]. http://comjnl.oxfordjournals.org/content/early/2013/10/25/comjnl.bxt125, 20131025.
[20]Chen Zhe, Zhang Daqiang, Zhu Rongbo, et al. A review of automated formal verification of Ad Hoc routing protocols for wireless sensor networks[J]. Sensor Letters,
2013,11(5):752764.
[21]Chen Zhe. On the generative power of ωgrammars and ωautomata[J]. Fundamenta Informaticae, 2011,111(2):119145.
[22]Chen Zhe, Gilles Motet. Towards better support for the evolution of safety requirements via the model monitoring approach[C]//Proceedings of the ACM/IEEE 32nd
International Conference on Software Engineering (ICSE 2010). 2010:219222.
[23]Chen Zhe, Gilles Motet. Nevertrace claims for model checking[C]//Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN 2010).
2010:162179.
[24]Chen Zhe, Gilles Motet. System safety requirements as control structures[C]//Proceedings of the 33rd Annual IEEE International Computer Software and Applications
Conference(COMPSAC 2009). 2009:324331.
[25]Chen Zhe, Gilles Motet. A languagetheoretic view on guidelines and consistency rules of UML[C]//Proceedings of the 5th European Conference on Model Driven
ArchitectureFoundations and Applications (ECMDAFA 2009). 2009:6681. |