自动化软件工程,第19卷
第19卷第1期,2012年3月
罗伯特·J·霍尔 :
编辑:ASE 2011年会议旅行报告。 1-3 路易丝·丹尼斯 , 迈克尔·菲希尔 , 马修·韦伯斯特 , 拉斐尔·博迪尼 :
模型检查代理程序语言。 5-63 伊夫·莱德鲁 , 亚历山大·佩特伦科 , 塞尔吉·博罗迪 , 纳丁·曼德兰 :
使用字符串距离确定测试用例的优先级。 65-95 尤西·本·阿谢尔 , 托梅尔·加尔 , 加迪·哈伯 , 马塞尔·扎尔马诺维奇 :
Java应用程序中攻击性对象内联的重构技术。 97-136
第19卷,第2期,2012年6月
艾斯·巴沙尔·贝纳 , 蒂姆·门齐斯 :
嘉宾评论:学习组织测试。 137-140 迪米特里斯·利帕拉斯 , 左翼天使 , 罗伯特·费尔特 :
应用Mahalanobis-Taguchi策略进行软件缺陷诊断。 141-165 何志敏 , 《封地书》 , 叶阳 , 李明淑 , 王庆(音) :
跨项目缺陷预测的可行性研究。 167-199 李明(音) , 张宏宇 , 吴荣新 , 周志华 :
具有主动和半监督学习的基于样本的软件缺陷预测。 201-230
第19卷第3期,2012年9月
罗伯特·J·霍尔 :
编辑:软件工程分析。 231-232 邓向华 , Jooyong Lee(李中勇) , 罗比 :
高效且正式的广义符号执行。 233-301 赛义德·雷扎·沙哈米里 , Wan M.N.Wan-Kadir先生 , 苏哈米·易卜拉欣 , Siti Zaiton Mohd Hashim公司 :
人工神经网络作为多网络自动测试预言机。 303-334 易卜拉欣·巴盖里 , 费泽·恩桑 , 德拉甘·加西维奇 :
软件产品线领域工程生命周期的决策支持。 335-377
第19卷第4期,2012年12月
罗伯特·J·霍尔 :
编辑:ASE中的选定主题。 379-380 尼古拉斯·曼加诺 , 安德烈·范德霍克 :
白板上支持软件设计师的工具的设计和评估。 381-421 大卫·罗 , 沙哈尔·毛兹 :
基于场景和基于价值的规范挖掘:更好地结合在一起。 423-458 亚当·杜利 , 克里斯·斯潘迪科夫 , 金美荣 :
Vdiff:一种用于Verilog硬件描述语言的程序差分算法。 459-490 KyungHee Kim(金庆熙) , Tuba Yavuz-Kahveci公司 , 贝弗利·A·桑德斯 :
JRF-E:使用模型检查提供消除内存模型相关错误的建议。 491-530 彼得·胡伊梅耶尔 , 维斯特利·威默尔 :
StrSolve:延迟求解字符串约束。 531-559
![](https://dblp.org/img/cog.dark.24x24.png)