ISSTA 2009:美国伊利诺伊州芝加哥
格雷格·罗瑟梅尔 , 劳拉·K·狄龙 :
第十八届软件测试与分析国际研讨会论文集,ISSTA 2009,芝加哥,伊利诺伊州,美国,2009年7月19-23日。 ACM公司 2009 ,十亿 978-1-60558-338-9
静态分析和验证
马丁·布拉文波尔 , 亚尼斯·斯马拉格达基斯 :
异常分析和分析要点:更好地结合在一起。 1-12 扎卡里·斯坦格尔 , 特夫菲克·布尔坦 :
分析奇异性渠道契约。 13-24 马丁·索格 , 赵建军 :
识别AspectJ程序中的语义差异。 25-36
测试#1
约拉姆·阿德勒 , 埃坦·法基 , 莫西·克劳斯纳 , 丹·佩利格 , 奥尔娜·拉兹 , 莫兰Shochat , Shmuel Ur公司 , 阿维亚德·兹洛特尼克 :
使用子串孔的高级代码覆盖率分析。 37-46 查尔斯·佩切尔 , 弗兰科·雷蒙迪 , 纪尧姆·布拉特 :
基于需求的测试的形式化分析。 47-56 阿克巴尔·西亚米·纳明 , 詹姆斯·安德鲁斯 :
大小和覆盖率对测试套件有效性的影响。 57-68
实证研究
大卫·舒勒 , 瓦伦汀·达尔梅尔 , 安德利亚斯·策勒 :
通过检查不变违例进行有效的变异测试。 69-80 凌霄江 , 苏振东 :
通过随机测试自动挖掘功能等效的代码片段。 81-92 纳迪娅·波里卡波娃 , Ilinga Ciupa公司 , 贝特朗·梅耶 :
程序编写合同和自动推断合同的比较研究。 93-104
测试和分析工具#1
亚当·基赞 , 维杰·加内什 , 菲利普·J·郭 , 彼得·胡伊梅耶尔 , 迈克尔·D·恩斯特 :
HAMPI:字符串约束的解算器。 105-116 安德烈亚斯·斯伯恩森 , 耶利米亚·威尔科克 , 托马斯·帕纳斯 , 丹尼尔·昆兰 , 苏振东 :
检测二进制可执行文件中的代码克隆。 117-128 巴西姆·埃尔卡拉布利赫 , 帕特丽斯·戈德弗里德 , 迈克尔·莱文 :
动态测试生成的精确指针推理。 129-140
故障定位
洪成 , 大卫·罗 , 杨舟 , 王晓音 , 西凤燕 :
使用判别图挖掘来识别bug签名。 141-152 索拉巴·辛哈 , 希娜·沙阿 , 卡斯滕·哥尔格 , 姜淑娟 , Mijung Kim先生 , 玛丽·让·哈罗德 :
Java运行时异常的故障定位和修复。 153-164 宾欣(Bin Xin) , 张湘玉 :
内存切片。 165-176
测试#2
桑德罗·福凯 , 迈拉·B·科恩 , 亚当·波特 :
大配置空间中的增量覆盖阵列故障特征。 177-188 克里斯蒂安·墨菲 , 匡申 , 盖尔·E·凯撒 :
不带测试预言符的程序的自动系统测试。 189-200 申耀(Shin Yoo) , 马克·哈曼 , 保罗·托内拉 , 安吉洛·苏西 :
将测试用例聚类,以结合专家知识实现有效且可扩展的优先级。 201-212 陆章 , 山山后 , 赵国 , 陶雪 , 洪梅 :
使用整数线性规划的时间软件测试用例优先级。 213-224
测试和分析工具#2
Prateek Saxena公司 , Pongsin Poosankam公司 , 斯蒂芬·麦卡曼特 , 黎明之歌 :
二进制程序上的循环扩展符号执行。 225-236 安东·巴本科 , 莱昂纳多·马里亚尼 , 法布里奇奥·帕斯托尔 :
AVA:动态检测异常的自动解释。 237-248 James A.条款 , 亚历山德罗·奥索 :
半影:使用动态污染自动识别与故障相关的输入。 249-260
特定领域测试技术
洛伦佐·马蒂诺尼 , 罗伯托·帕莱里 , Giampaolo Fresi Roglia公司 , 达尼洛·布鲁斯基 :
测试CPU模拟器。 261-272 Jewgenij Botaschanjan先生 , 本杰明·汉梅尔 :
指定最坏情况:硬件错误的正交建模。 273-284 威廉·G·J·哈尔丰德 , 萨斯瓦特·阿南德 , 亚历山德罗·奥索 :
精确的界面识别,以改进web应用程序的测试和分析。 285-296