2013年第24卷第4期目录
一种“用例+控例”驱动的软件分析与设计方法刘春,张伟,赵海燕,金芝2013,24(4):675-695 [摘要(4550)] [PDF(5557)1021.92 K][HTML()]考虑失效恢复的组合服务性能建模与分析顾军,罗军舟,曹玖新,李伟2013,24(4):696-714 [摘要(3364)] [PDF(4757)1013.10 K][HTML()]Radl 形式规格说明相对正确性研究王昌晶,薛锦云2013,24(4):715-729 [摘要(3388)] [PDF(4332)824.03 K][HTML()]软件迷惑变换的鲁棒性量化评价付剑晶,王珂2013,24(4):730-748 [摘要(3449)] [PDF(4665)910.79 K][HTML()]考虑测试工作量与覆盖率的软件可靠性模型李海峰,王栓奇,刘畅,郑军,李震2013,24(4):749-760 [摘要(4534)] [PDF(5687)636.68 K][HTML()]面向领域的学术文献检索框架邱江涛,唐常杰,李庆2013,24(4):798-809 [摘要(3830)] [PDF(5074)636.12 K][HTML()]一种面向关系型数据的可视质量分析方法滕东兴,曾志荣,杨海燕,王宏安,戴国忠2013,24(4):810-824 [摘要(3570)] [PDF(6326)1.62 M][HTML()]基于变方差概率模型和进化计算的WSN 定位算法叶苗,王宇平2013,24(4):859-872 [摘要(3715)] [PDF(6316)873.45 K][HTML()]传感器网络中基于随机混淆的组密钥管理机制曾玮妮,林亚平,余建平,王雷2013,24(4):873-886 [摘要(3499)] [PDF(4893)818.92 K][HTML()]移动对等网络中自私节点的检测和激励机制曲大鹏,王兴伟,黄敏2013,24(4):887-899 [摘要(3459)] [PDF(5328)766.31 K][HTML()]Ad Hoc 网络节能型功率控制与拥塞控制的跨层优化张永敏,徐伟强,黄炯,汪亚明,舒挺,刘良桂2013,24(4):900-914 [摘要(3825)] [PDF(4605)802.28 K][HTML()]
测试用例演化研究进展张智轶,陈振宇,徐宝文,杨瑞2013,24(4):663-674 [摘要(9262)] [PDF(8473)735.36 K][HTML()]数据库物理结构优化技术崔跃生,张勇,曾春,冯建华,邢春晓2013,24(4):761-780 [摘要(8068)] [PDF(9479)999.54 K][HTML()]Web 数据源选择技术万常选,邓松,刘喜平,廖国琼,刘德喜,江腾蛟2013,24(4):781-797 [摘要(7908)] [PDF(8099)896.14 K][HTML()]蜜罐技术研究与应用进展诸葛建伟,唐勇,韩心慧,段海新2013,24(4):825-842 [摘要(8463)] [PDF(18196)1.09 M][HTML()]网页木马机理与防御技术张慧琳,邹维,韩心慧2013,24(4):843-858 [摘要(8150)] [PDF(11521)832.28 K][HTML()]