2011年第13届ESEC/19届SIGSOFT FSE:匈牙利塞格德
蒂博·吉莫西 , 安德利亚斯·策勒 :
SIGSOFT/FSE’11第19届ACM SIGSOFT软件工程基础研讨会(FSE-19)和ESEC’11:第13届欧洲软件工程会议(ESEC-13),2011年9月5日至9日,匈牙利塞格德。 ACM公司 2011 ,国际标准图书编号 978-1-4503-0443-6
主题演讲
错误和更改
克里斯蒂安·伯德 , 纳恰帕·纳加潘 , 布伦丹·墨菲 , 哈拉尔德·加尔 , Premkumar T.Devanbu公司 :
不要碰我的代码!: 研究所有权对软件质量的影响。 4-14 吴荣新 , 张宏宇 , Sunghun Kim先生 , Shing-Chi Cheung先生 :
ReLink:恢复错误和更改之间的链接。 15-25 左鸣音 , 丁元 , 周媛媛 , Shankar Pasupathy病 , 拉克希米·N.拜拉瓦桑达拉姆 :
修复程序如何成为bug? 26-36
型号和要求
Shoham Ben-David公司 , 玛莎·契契克 , 阿里·古芬克尔 , 塞巴斯蒂安·乌奇特尔 :
CSSL:用于指定条件场景的逻辑。 37-47 弗朗西斯·帕尔马 , 安吉洛·苏西 , 保罗·托内拉 :
使用SMT求解器进行交互式需求优先级划分。 48-58 西蒙·霍尔姆·詹森 , 马格努斯·马德森 , 安德斯·默勒 :
在JavaScript web应用程序的静态分析中对HTML DOM和浏览器API进行建模。 59-69
实证研究
科里·杰根森 , 安妮塔·萨玛 , 帕特里克·瓦格斯特罗姆 :
洋葱补丁:开源生态系统中的迁移。 70至80 安德鲁·梅尼利 , 皮特·罗特拉 , 劳里·A·威廉姆斯 :
增加人力也会影响质量吗 经验性的纵向分析。 81-90 克里斯托夫·特劳德 , 玛格丽特·安妮·D·斯托里 :
通过社区门户有效地交流软件开发知识。 91-101
分析I
斯瓦拉特·乔杜里 , 苏米特·古尔瓦尼 , 罗伯托·卢布里内曼 , 萨拉·纳维德·波尔 :
证明程序健壮。 102-112 埃文·德里斯科尔 , 阿曼达伯顿 , 托马斯·W·代表 :
检查生产者和消费者的一致性。 113-123 Stelios Sidiroglou-Douskos公司 , 萨萨·米塞洛维奇 , 亨利·霍夫曼 , 马丁·里纳德 :
通过环形射孔实现性能与精度的权衡。 124-134
调试
张爱文(Alvin Cheung) , Armando Solar Lezama公司 , 塞缪尔·马登 :
长时间运行的应用程序的部分重播。 135-145 乔治·K·巴哈 , 安迪·波德古斯基 , 玛丽·让·哈罗德 :
缓解程序依赖性的混淆影响,以实现有效的故障定位。 146-156 迪普蒂卡利安·萨哈 , 曼加拉·戈瑞·南达 , Pankaj Dhoolia公司 , V.克里斯纳·南迪瓦达 , 维巴·辛哈 , 萨蒂什·钱德拉 :
数据中心程序的故障定位。 157-167
协作
尤里·布伦 , 里德·霍姆斯 , 迈克尔·D·恩斯特 , 大卫·诺特金 :
主动检测协作冲突。 168至178 沙哈尔·毛兹 , 简·奥利弗·林格特 , 伯恩哈德·伦普 :
ADDiff:活动图的语义差异。 179-189 斯文·阿佩尔 , 约格·利比希 , 本杰明·布兰德尔 , 克里斯蒂安·伦高 , 克里斯蒂安·卡斯特纳 :
半结构化合并:重新思考修订控制系统中的合并。 190-200
测试
库纳尔·塔内加 , 马克·格雷切尼克 , 伊德·加尼 , 陶雪 :
在数据隐私时代测试软件:一种平衡行为。 201-211 马克·哈曼 , 岳佳 , 威廉·兰登 :
强大的基于高阶变异的测试数据生成。 212-222 维拉斯·贾甘纳特 , 米洛斯·格利戈里克 , 金东云 , 青州罗 , 格里戈·罗苏 , 达科·马里诺夫 :
改进了多线程单元测试。 223至233
配置
纳伊姆·埃斯法哈尼 , Ehsan Kouroshfar公司 , 萨姆·马利克 :
自适应软件中的不确定性。 234-244 马晓星 , 卢西亚诺·巴雷西 , 卡洛·盖齐 , 瓦莱里奥·潘齐卡·拉曼纳 , 陆健 :
基于组件的分布式系统的版本一致动态重构。 245-255 罗贝多·迪·科斯莫 , 杰罗姆·沃伊隆 :
关于软件组件的协同安装。 256-266
分析二
伊万·贝沙特尼克 , 尤里·布伦 , 西格德·施耐德 , 迈克尔·斯隆 , 迈克尔·D·恩斯特 :
利用现有工具自动推断不变约束模型。 267-277 大为旗 , Hoang D.T.Nguyen先生 , 阿布希克·罗乔杜里 :
基于符号输出的路径探索。 278-288 里沙布·辛格 , 阿曼多·索拉勒扎马 :
从情节串连板中合成数据结构操作。 289-299
缺陷
埃马德·什哈布 , 奥德里斯·莫库斯 , 龟井静香 , 布拉姆·亚当斯 , 艾哈迈德·哈桑 :
高冲击缺陷:断裂和意外缺陷的研究。 300-310 泰克·李 , Jaechang Nam公司 , 董君汉(DongGyun Han) , Sunghun Kim先生 , Hoh Peter In公司 :
用于缺陷预测的微观交互度量。 311-321 福祖·拉赫曼 , 达里尔·波塞内特 , 艾布拉姆·欣德尔 , 伯爵·T·巴尔 , Premkumar T.Devanbu公司 :
用于检查的BugCache:命中还是未命中? 322-331
分析III
布赖恩·哈克特 , 亚历克斯·艾肯 :
推断系统代码中的数据多态性。 332-342 李连丽 , 克里斯蒂娜·西富恩特斯 , 内森·凯恩斯 :
提高流敏感点的性能—使用值流进行分析。 343-353
采矿
费边·贝克 , 斯蒂芬·迪尔 :
关于模块化与代码耦合的一致性。 354-364 艾哈迈德·塔姆拉维 , Tung Thanh Nguyen先生 , 贾法尔·阿尔·科法希(Jafar M.Al-Kofahi) , Tien N.Nguyen先生 :
基于模糊集和缓存的错误分类方法。 365-375
博士研讨会-发展文件
尼古拉斯·贝滕堡 :
挖掘开发存储库以研究协作对软件系统的影响。 376-379 克里斯蒂安·普拉斯 :
联合体研究项目中基于声誉的软件过程工件质量自我管理。 380-383 佐亚·杜迪克 :
一种以体系结构为中心的方法,用于目标驱动的需求获取。 384至387
博士研讨会-规范挖掘
博士研讨会-测试
迈赫迪·米尔扎阿盖伊 :
自动测试套件演化。 396-399 毛罗·巴卢达 :
具有抽象细化和粗化功能的自动结构测试。 400-403 杰里米亚斯·罗勒 :
通过事实了解失败。 404-407
博士研讨会-适应
工具演示-第1部分
弗雷泽 , 安德烈亚·阿库里 :
EvoSuite:面向对象软件的自动测试套件生成。 416-419 金云浩(Yunho Kim) , 蒙祖·金 :
SCORE:用于可靠嵌入式软件的可扩展混合测试工具。 420-423 米洛斯·格利戈里克 , 桑德罗·巴达姆 , 拉尔夫·约翰森 :
SMutat:动态语言中的类型敏感变异测试工具。 424-427 Daiva Naudziuniene公司 , 马特科·博廷根 , 迪诺·迪斯特法诺 , 迈克·多兹 , 拉杜·格里戈尔 , 马修·帕金森 :
jStar-eclipse:一个用于Java程序自动验证的IDE。 428-431 克里斯蒂娜·西富恩特斯 , 内森·凯恩斯 , 连丽 , 内森·霍斯 , 曼努埃尔·瓦尔迪维埃佐 , 安得鲁·布朗 , 雅各布·齐默尔曼 , 安德鲁·克莱克 , 道格拉斯·特奥 , 克里斯蒂安·霍尔曼 :
使用parfait的大型系统应用程序中的静态深度错误检查。 432-435 萨勒曼·米尔加西米 , 约翰·巴顿 , 克劳德·佩蒂皮埃尔 :
查询点:在错误的执行中向后移动错误的值。 436-439 那蒙(Na Meng) , 米荣·金 , 凯瑟琳·麦金利 :
Sydit:根据示例创建并应用程序转换。 440-443
工具演示-第2部分
尤里·布伦 , 里德·霍姆斯 , 迈克尔·D·恩斯特 , 大卫·诺特金 :
Crystal:准确而不引人注目的冲突警告。 444-447 伊万·贝沙特尼克 , 珍妮·亚伯拉罕森 , 尤里·布伦 , 迈克尔·D·恩斯特 :
概要:使用推断模型研究日志行为。 448-451 安德烈亚斯·德穆斯 , 罗伯托·洛佩兹·赫雷洪(Roberto E.Lopez-Herrejon) , 亚历山大·埃吉德 :
跨层建模器:一种用于具有一致性检查的灵活多级建模工具。 452-455 莱昂内尔·蒙特里厄斯 , 米歇尔·沃梅林格 , Yijun余 :
工具支持基于UML的规范和基于角色的访问控制属性验证。 456-459 戴维德·法莱西 , 希瓦·内贾蒂 , 迈赫达德·萨贝扎德 , 莱昂内尔·布赖恩 , 安东尼奥·梅西纳 :
SafeSlice:SysML的模型切片和设计安全检查工具。 460-463 丹妮拉·科斯塔奇 , 乔治·卡卢斯 , 马可·库尔曼 :
基于特征的过程模型裁剪的设计和验证:PDE的示例实现。 464-467 马库斯·卢佩 , 英迪卡·米德尼娅 , 拉尔斯·格伦斯克 :
PSPWizard:使用规范模式对时序逻辑属性进行机器辅助定义。 468-471
新想法I
奥哈德·巴齐莱 , 奥里特·哈桑 , 阿米拉姆·耶胡代 :
使用社交媒体研究专业开发人员使用示例的多样性。 472-475 雷安·阿里 , 卡洛斯·索利斯 , 马泽亚尔·萨利希 , 伊娜·奥莫罗尼亚 , 巴沙尔·努塞贝 , 瓦利德·马莱吉 :
社交感知:当用户成为监控者时。 476-479 郑武杰 , 张启润 , 迈克尔·R·吕 :
使用web搜索引擎的跨库API建议。 480-483 保罗·克莱门茨 , 玛丽亚·何塞·埃斯卡洛娜·库亚雷斯马 , 保拉·因弗拉迪 , 伊万诺·马拉沃尔塔 , 埃达·马切蒂 :
利用软件架构来支持需求满足测试。 484-487 马可·奥蒂利 , Vittorio Cortellessa女士 , 大卫·迪·鲁西奥 , 保拉·因弗拉迪 , Patrizio Pelliccione公司 , 马西莫·蒂沃利 :
EAGLE:利用unc确定性在无处不在的全球范围内设计软件。 488-491
新想法II
埃里克·博登 :
有状态断点:定义参数化运行时监视器的实用方法。 492-495 基万萨·穆斯鲁 , 舱底索兰 , 约钦·伍特克 :
通过隔离单元测试发现错误。 496-499 布鲁诺·巴比埃里·庞特斯咖啡馆 , 乔斯特·诺彭 , Fabiano Cutigi法拉利 , Ruzanna Chitchyan公司 , 阿韦斯·拉希德 :
推断动态软件产品线的测试结果。 500-503 克里斯托夫·塞勒纳 , 列奥尼达斯·费加拉斯 , 李成凯 :
新想法跟踪:测试mapreduce风格的程序。 504-507 米尔顿·伊诺斯特罗扎 , 埃里克·坦特 , 埃里克·博登 :
面向方面程序中模块化推理的连接点接口。 508-511 阿伦·拉马穆尔蒂 , 苏巴吉特·罗伊 , Y.N.Srikant先生 :
使用结构图上的路径轮廓进行概率数据流分析。 512-515
研讨会总结
哈维尔·卡马拉 , 罗杰里奥·德莱莫斯 , 卡洛·盖齐 , 安托尼亚·洛佩斯 :
自适应系统保证研讨会(ASAS 2011)。 516-517 罗曼·罗布斯 , 安东尼·克利夫 :
IWPSE-EVOL 2011:第十二届软件进化原理国际研讨会和第七届ERCIM软件进化研讨会。 518-519 福斯特 , 洛丽·波洛克 :
PASTE’11:第十届ACM sigplan-sigsoft软件工具和工程程序分析研讨会会议记录。 520-521 瓦利德·马莱吉 , 雷安·阿里 :
第四届社会软件工程国际研讨会(SSE'11)。 522-523 斯特凡·瓦格纳 , 苏妮塔·丘拉尼 , 王保华 :
第八届软件质量国际研讨会(WoSQ)。 524-525