Computer Science ›› 2014, Vol. 41 ›› Issue (3): 12-16.
Previous Articles Next Articles
WANG Zhen-zhen
| [1] Schach S R．软件工程—面向对象和传统的方法[M]．邓迎春,韩松,徐天顺,等译．北京:机械工业出版社,2007 [2] 莫绍揆．数学基础[M]．北京:高等教育出版社,1991 [3] Patton R．软件测试[M]．张小松,王钰,曹跃,等译．北京:机械工业出版社,2007 [4] Pierce B C．类型和程序设计语言[M]．马世龙,眭跃飞,等译．北京:电子工业出版社,2005 [5] Mitchell J C．程序设计语言理论基础[M]．许满武,徐建,衷宜,等译．北京:电子工业出版社,2006 [6] Fenton N E,Pfleeger S L．软件度量[M]．杨海燕,赵巍,张力,等译．北京:机械工业出版社,2004 [7] Winskel G．程序设计语言的形式语义[M]．宋国新,邵志清,等译．北京:机械工业出版社,中信出版社,2007 [8] 王梓坤．随机过程论[M]．北京:科学出版社,1978:439-440,450 [9] Desikan S,Ramesh G．软件测试-原理与实践[M]．韩柯,李娜,等译．北京:机械工业出版社,2009 [10] Andersson C,Runeson P．A Replicated Quantitative Analysis of Fault Distributions in Complex Software System [J]．IEEE Transactions on Software Engineering,2007,5(33):273-286 [11] Cordy M,Classen A,Perrouin G,et al．Simulation-based ab-stractions for software product-line model checking [C]∥Proceeding of the 2012International Conference on Software Engineering．Zurich,Switzerland,2012:672-682 [12] 周毓明,徐宝文．基于依赖结构分析的类重要性度量方法 [J]．东南大学学报:自然科学版,2008,3(38):380-384 [13] 王蓁蓁．朴素模糊描述逻辑知识库构造及其朴素推理[J]．应用科技,2012,39(6):18-29 [14] Santelices R,Jones J A,Yu Yan-bing,et al.Lightweight Fault-Localization Using Multiple Coverage Types [C]∥Proceedings of the 2009IEEE 31st International Conference on Software Engineering．2009:56-66 [15] Weimer W,Nguyen T,Goues C L,et al．Automatically Finding Patches Using Genetic Programming [C]∥Proceedings of the 2009IEEE 31st International Conference on Software Enginee-ring．2009:364-374 [16] Sommerville J．软件工程[M]．程成,陈霞,译．北京:机械工业出版社,2008 [17] 王蓁蓁,徐宝文,周毓明,等．一种随机TBFL方法[J]．计算机科学,2013,40(1):5-14 |
| No related articles found! |
|
||
Home