第12届ESEC/第17届SIGSOFT FSE 2009：荷兰阿姆斯特丹
汉斯·范·弗利特 , 瓦莱丽·伊萨尼 :
2009年8月24日至28日，荷兰阿姆斯特丹，欧洲软件工程会议第七届联席会议和ACM SIGSOFT国际软件工程基础研讨会会议记录。 ACM公司 2009 ，国际标准图书编号 978-1-60558-001-2 玛丽·肖 
:
普及软件对软件工程传统智慧的挑战。 1-2
规范和验证1
雅各布·伯尼姆 , 库什克森 :
断言和检查多线程程序的确定性。 3-12 维尼特·卡隆 , Nishant Sinha公司 , 埃里克·克鲁斯 , 张云 :
具有异步调用的并发程序的静态数据竞争检测。 13-22 王超（Chao Wang） , 斯瓦拉特·乔杜里 , 阿尔蒂·古普塔 , 于阳 :
并发程序执行的符号修剪。 23-32
分析和测试1
戚大伟 , 阿比克·罗伊乔杜里 , 梁振凯 , 卡皮尔·瓦斯瓦尼 :
达尔文：调试进化程序的方法。 33-42 张振宇 , 永光禅 , 谢霆锋 , 薄江 , 王新明（Xinming Wang） :
捕获受感染程序状态的传播。 43-52 埃琳娜·谢尔曼 , 马修·德怀尔 , 塞巴斯蒂安·埃尔鲍姆 :
并发程序的基于饱和的测试。 53-62
质询文件
克里斯蒂娜·维迪拉·洛佩斯 :
利用虚拟世界进行系统建模和仿真的大规模化和网络化。 63-70
可靠性
普拉迪普·瓦尔马 , R.K.Shyamasundar先生 , 哈拉希·沙阿 :
向后兼容的恒定时间异常保护内存。 71-80 Cor-Paul Bezemer公司 , 阿里·梅斯巴 , 阿里·范·德森 :
web小部件交互的自动化安全测试。 81-90
经验软件工程
托马斯·齐默尔曼 , 纳恰帕·纳加潘 , 哈拉尔德·加尔 , 伊曼纽尔·吉格 , 布伦丹·墨菲 :
跨项目缺陷预测：关于数据、领域和过程的大规模实验。 91-100 马塞洛·加泰罗多 , Sangeeth Nambiar公司 :
过程成熟度和地理分布之间的关系：对其对软件质量影响的实证分析。 101-110 Gaeul Jeong先生 , Sunghun Kim先生 , 托马斯·齐默尔曼 :
使用错误抛出图改进错误分类。 111-120 克里斯蒂安·伯德 , 阿德里安·巴赫曼 , 艾里克·奥恩 , 约翰·杜菲 , 亚伯拉罕·伯恩斯坦 , 弗拉基米尔·菲尔科夫 , Premkumar T.Devanbu公司 :
公平和平衡 bug-fix数据集中的偏差。 121-130
面向服务的系统
瓦莱丽亚·卡德利尼 , 埃米利亚诺·卡萨利基奥 , 文森佐·格拉西 , 弗朗西斯科·洛·普雷斯蒂 , 拉斐拉·米兰多拉 :
面向服务架构的Qos驱动的运行时自适应。 131-140 安东尼娅·贝尔托利诺 , 保拉·因弗拉迪 , Patrizio Pelliccione公司 , 马西莫·蒂沃利 :
可组合web服务的行为协议的自动合成。 141-150 李俊梅 , W.K.Chan先生 , 谢霆锋 :
服务编排的数据流测试。 151-160 塞萨尔·巴托里尼 , 安东尼娅·贝尔托利诺 , 塞巴斯蒂安·埃尔鲍姆 , 埃达·马切蒂 :
美化SOA测试。 161-170 拉尔夫·彼得·施费尔 :
智商路线和高清流量：关于tomtom时间动态导航概念的技术见解。 171-172
软件质量和性能
扬·沃卡（Jan Wloka） , 马努·斯里达兰 , 弗兰克·蒂普 :
重构以重新进入。 173-182 拉尔斯·格伦斯克 , 张鹏程 :
监测概率特性。 183-192 Suresh Thummalapenta公司 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
MSeqGen：通过挖掘源代码生成面向对象的单元测试。 193-202
工具和环境
Fan Long（风扇长） , 西王 , 杨才 :
通过结构重叠进行Api超链接。 203-212 马塞尔·布鲁赫 , 马丁·蒙佩鲁斯 , 米拉·梅齐尼 :
从示例中学习改进代码完成系统。 213-222 亚哈龙·阿巴迪 , 兰·艾廷格 , 伊莎·费尔德曼 :
通过压缩数据和控制流径提高切片精度。 223-232
质询文件
玛丽安·彼得 :
来自专家软件设计实践的见解。 233-242
基于组件的软件工程
本杰明·特拉华 , 威廉·库克 , 唐·S·巴托里 :
将零件装配在一起：一个经过机器检查的安全成分模型。 243-252 乔瓦尼·德纳罗 , 毛罗·佩泽 , 大卫·托西 :
通过工程化的自我修复确保可互操作的面向服务的系统。 253-262
ACM SIGSOFT影响力论文奖
安德利亚斯·策勒 :
调试调试：acm-sigsoft影响力论文奖主题。 263-264
短文
刘慧（音） , 利米·杨 , 牛振东 , 马志毅 , 邵伟忠 :
以适当的臭味解决顺序促进软件重构。 265-268 马库斯·盖佩尔 , 弗兰克·施韦策 :
软件变化动态：来自35个java项目的证据。 269-272 弗朗索瓦·布隆萨尔 :
实际框架约束。 273-276 伊曼·优素福 , 亨氏W.施密特 , 伊恩·D·派克 :
评估恢复感知组件的网格可靠性。 277-280 保罗·恩里克·马亚 , 杰夫·克莱默 , 塞巴斯蒂安·乌奇特尔 , 纳博尔·门登萨 :
使用状态细化实现精确的概率模型。 281-284
工具演示
马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 :
aadl模型的验证和性能评估。 285-286 法哈德·阿巴布 , 孙萌 , Young-Joo Moon（永珠文） , Marta Z.Kwiatkowska公司 , 红阳区 :
Reo2MC：用于协调模型性能分析的工具链。 287-288 帕特里克·克纳布 , 哈拉尔德·加尔 , 马丁·平兹格 :
用于分析问题报告的智能视图：工具演示。 289-290 邵丹华 , 萨尔夫拉兹·库希德 , 德韦恩·佩里 :
SCA：用于并行更改的语义冲突分析器。 291-292 Vipindeep Vangala公司 , 杰切克·捷尔旺卡（Jacek Czerwonka） , 法尼·塔鲁里 :
使用程序配置文件和静态执行进行测试用例比较和聚类。 293-294 谢·阿尔茨 , Sunghun Kim先生 , 迈克尔·D·恩斯特 :
ReCrashJ：一种用于捕获和再现已部署应用程序中的程序崩溃的工具。 295-296 大卫·舒勒 , 安德利亚斯·策勒 :
Javalanche：Java的高效突变测试。 297-298 爱德华多·菲格雷多 , 乔恩·惠特尔 , 亚历山德罗·加西亚 :
关注形态：基于度量的横切模式检测。 299-300 Animesh Pathak公司 , 马汉斯·戈达 :
Srijan：用于传感器网络宏编程的图形工具包。 301-302
优秀研究论文奖
理查德·泰勒 :
软件体系结构：许多方面，许多地方，但却是一个中心学科。 303-304
规范和验证2
伊沃·克尔卡 , 尤里·布伦 , 乔治爱德华兹 , 内纳德·梅德维多维奇 :
根据系统规范合成部分组件级行为模型。 305-314 熊英飞 , 镇江湖 , 赵海燕 , 宋慧 , Masato Takeichi先生 , 洪梅 :
支持模型不一致性自动修复。 315-324 尤塞夫·汉娜 , 萨米克·巴苏 , 赫里德斯·拉詹 :
用于参数化系统自动拓扑无关验证的行为自动机组合。 325-334
分析和测试2
埃斯特班·帕维斯 , 维科特·布拉伯曼 , 塞巴斯蒂安·乌奇特尔 :
（非概率）行为模型定量分析中的概率环境。 335-344 罗大卫 , 莱昂纳多·马里亚尼 , 毛罗·佩泽 :
行为模型推理的自动指导。 345-354 杰森·贝尔特 , 罗比 , 邓向华 :
Sireum/Topi LDP：用于优化基于符号执行的分析的轻量级半决策程序。 355-364
质询文件
挖掘软件存储库
Balasubramanyan阿肖克 , 约瑟夫·乔伊 , 梁洪康 , 斯里拉姆·拉贾马尼 , 戈帕尔·斯里尼瓦萨 , Vipindeep Vangala公司 :
DebugAdvisor：用于调试的推荐系统。 373-382 Tung Thanh Nguyen先生 , 阮春安 , Nam H.Pham公司 , 贾法尔·阿尔·科法希（Jafar M.Al-Kofahi） , Tien N.Nguyen先生 :
基于图的多对象使用模式挖掘。 383-392
