缺少摘要。
- 逻辑革命（基调）莫舍·瓦尔迪.1 [美国国防部]
- 通过集成生产软件：挑战和研究方向（主题演讲）保拉·因弗拉迪,马尔科·奥蒂利,大卫·迪·鲁西奥,Patrizio Pelliccione公司,马西莫·蒂沃利.2-12 [美国国防部]
- 数学软件工程（主题）乔治·戈蒂尔.13 [美国国防部]
- 基本软件工程问题的实证答案（小组）贝特朗·梅耶,哈拉尔德·加尔,马克·哈曼,吉安卡洛·苏奇.14-18 [美国国防部]
- 软件工程中的出版文化（小组）史蒂文·弗雷泽,卢西亚诺·巴雷西,简·克莱兰德·黄,卡洛·福里亚,乔治·戈蒂尔,保拉·因弗拉迪,莫舍·瓦尔迪.19-23 [美国国防部]
- 工件评估（摘要）亚历山大·贝格尔,洛伦佐·贝蒂尼.24-25 [美国国防部]
- 低强度和高强度组合交互测试的效率和早期故障检测朱丝蒂娜·佩特克,申耀（Shin Yoo）,迈拉·B·科恩,马克·哈曼.26-36 [美国国防部]
- 酒精测试阿扎德·法尔赞,安德烈亚斯·霍尔泽,尼罗法尔·拉扎维,赫尔穆特·维思.37-47 [美国国防部]
- 通过插值增强共调测试佐克森·贾法尔,维贾亚拉加万·穆拉利,豪尔赫·纳瓦斯.48-58 [美国国防部]
- 充分监测服务构成安东尼娅·贝尔托利诺,埃达·马切蒂,安德烈亚·莫里切塔.59-69 [美国国防部]
- 基于k-means聚类的原子web服务可靠性预测Marin硅胶,戈兰·德拉克,Sinisa Srbljic公司.70-80 [美国国防部]
- 可变软件的可扩展分析约格·利比希,亚历山大·冯·莱恩,克里斯蒂安·卡斯特纳,斯文·阿佩尔,延斯·多尔,克里斯蒂安·朗格尔.81-91 [美国国防部]
- 基于数据流分析的贝叶斯推理纪尧姆干红葡萄酒,斯里拉姆·拉贾马尼,阿迪蒂亚·诺里,安德鲁·戈登,约翰内斯·博格斯特罗姆.92-102 [美国国防部]
- 动态不变推理中的二阶约束李开拓,克里斯托夫·赖森巴赫,亚尼斯·斯马拉格达基斯,米查尔·扬.103-113 [美国国防部]
- Z3-str：基于Z3的web应用程序分析字符串解算器郑云辉,张湘玉,维杰·加内什.114-124 [美国国防部]
- 数据库应用程序中模式和代码共同演化的实证分析董秋,李碧欣,苏振东.125-135 [美国国防部]
- 自动预言机：成本和效益的实证研究铜D.Nguyen,亚历山德罗·马切托,保罗·托内拉.136-146 [美国国防部]
- 样本大小与缺陷预测偏差福祖·拉赫曼,达里尔·波塞内特,以色列Herraiz,Premkumar T.Devanbu公司.147-157 [美国国防部]
- 发现不正确的原子组成刘鹏0010,朱利安·杜比,查尔斯·张.158-168 [美国国防部]
- 紧密配合：具有前瞻性的自适应并行化Omer跳闸,诺姆·里内茨基.169-179 [美国国防部]
- 分布式程序跟踪迪普蒂卡利安·萨哈,Pankaj Dhoolia公司,高拉布·保罗.180-190 [美国国防部]
- 明天你还会编译我吗？静态交叉版本编译器验证克里斯·霍布利泽尔,Shuvendu K.拉希里,卡萨马·帕瓦尔,哈玛德·哈什米,Sedar Gokbulut轿车,拉克珊·费尔南多,戴夫·德特利夫斯,斯科特·沃兹沃思.191-201 [美国国防部]
- 融合的当代软件同行评审实践彼得·里格比,克里斯蒂安·伯德.202-212 [美国国防部]
- 所有任务相关性都需要协调吗？任务属性在确定软件项目中关键协调需求中的作用凯利·布林科,朱塞佩·瓦莱托,丹妮拉·达米安.213-223 [美国国防部]
- Dynodroid：Android应用程序的输入生成系统Aravind机械,罗汉·塔西利亚尼,马约尔·奈克.224-234 [美国国防部]
- KATCH：软件补丁的高覆盖率测试保罗·丹·马林内斯库,克里斯蒂安·卡达尔.235-245 [美国国防部]
- 测试的终止证明阿迪蒂亚·诺里,拉胡尔·夏尔马0001.246-256 [美国国防部]
- SPLat：轻量级动态分析，用于减少可配置系统测试中的组合张焕·彼得·金,达科·马里诺夫,萨尔夫拉兹·库希德,唐·S·巴托里,萨布丽娜·索托,保罗·巴罗斯,马塞洛·阿莫林.257-267 [美国国防部]
- Cachetor：检测可缓存数据以消除膨胀Khanh Nguyen先生,徐国庆.268-278 [美国国防部]
- 别名分析错误的有效动态检测吴静月,胡刚（音译）,杨棠,杨俊峰.279-289 [美国国防部]
- 从大量非正式产品描述集合中提取特征模型让-马克·达夫里尔,爱德华·德尔福斯,内加·哈里里,马修·阿切尔,简·克莱兰德·黄,帕特里克·海曼斯.290-300 [美国国防部]
- N向模型合并朱莉娅·鲁宾,玛莎·契契克.301-311 [美国国防部]
- 将模型编译为灵活的UINishant Sinha公司,雷兹瓦娜·卡里姆.312-322 [美国国防部]
- 使离线分析持续基万萨·穆斯鲁,尤里·布伦,迈克尔·D·恩斯特,大卫·诺特金.323-333 [美国国防部]
- 回归测试以暴露变更交互错误马塞尔·伯默,布鲁诺·C·D·S·奥利维拉,阿比克·罗伊乔杜里.334-344 [美国国防部]
- 差异断言检查Shuvendu K.Lahiri公司,肯尼思·麦克米兰,拉胡尔·夏尔马0001,克里斯·霍布利泽尔.345-355 [美国国防部]
- 防止应用程序中的数据库死锁马克·格雷切尼克,B.M.Mainul侯赛因,Ugo购买,王海生.356-366 [美国国防部]
- 识别分布式事件系统中的消息流约书亚·加西亚,丹尼尔·波佩斯库,Gholamreza Safi公司,威廉·G·J·哈尔丰德,内纳德·梅德维多维奇.367-377 [美国国防部]
- 通过数据驱动的跟踪特征配置和组合提高跟踪精度苏甘达·洛哈尔,Sorawit Amornborvornwong公司,安德烈亚·齐斯曼,简·克莱兰德·黄.378-388 [美国国防部]
- 有效回归验证的精度重用德克·拜尔,斯特凡·勒韦,叶夫根尼·诺维科夫,安德烈亚斯·斯塔尔鲍尔,菲利普·温德勒.389-399 [美国国防部]
- 级联验证：一种用于特定领域模型检查的集成方法Fokion Zervoudakis公司,大卫·S·罗森布鲁姆,塞巴斯蒂安·埃尔鲍姆,安东尼·芬克尔斯坦.400-410 [美国国防部]
- 通过内置的术语重写和约束延迟初始化增强符号执行彼得罗·布雷奥内,乔瓦尼·德纳罗,毛罗·佩泽尔.411-421 [美国国防部]
- 从企业web应用程序中挖掘行为模型马蒂亚斯·舒尔,安德烈亚斯·罗斯,安德利亚斯·策勒.422-432 [美国国防部]
- 根据基于场景的产品线规范增量合成控制器乔尔·格林耶,克里斯蒂安·布伦纳,马克西姆·科尔迪,帕特里克·海曼斯,埃里卡·格雷西.433-443 [美国国防部]
- 从横切结构视图合成组件和连接器模型沙哈尔·毛兹,简·奥利弗·林格特,伯恩哈德·伦普.444-454 [美国国防部]
- 寻找更好的配置：一种严格的克隆评估方法王田田,马克·哈曼,岳佳,延斯·克林克.455-465 [美国国防部]
- 软件工程研究的多样性梅亚潘-纳加潘,托马斯·齐默尔曼,克里斯蒂安·伯德.466-476 [美国国防部]
- API更改和故障倾向：安卓应用程序成功的威胁马里奥·利纳雷斯·巴斯克斯,加布里埃尔·巴沃塔,卡洛斯·伯纳尔·卡尔德纳斯,马西米利亚诺·迪·彭塔,洛科·奥利维托,丹尼斯·波西瓦尼克.477-487 [美国国防部]
- Jalangi：JavaScript的选择性记录重放和动态分析框架库什克森,斯瓦鲁-卡拉萨普尔,塔斯尼姆·G·布鲁奇,西蒙·吉布斯.488-498 [美国国防部]
- 框架和库存在时JavaScript应用程序的实际静态分析马格努斯·马德森,本杰明·利夫希茨,迈克尔·范宁.499-509 [美国国防部]
- JavaScript web应用程序自动测试的服务器界面描述卡斯珀·斯文宁·延森,安德斯·默勒,苏振东.510-520 [美国国防部]
- 解释不一致的代码马丁·施瓦夫,丹尼尔·施瓦茨·纳博恩,托马斯·维斯.521-531 [美国国防部]
- 源代码的统计语义语言模型Tung Thanh Nguyen先生,Anh Tuan Nguyen女士,Hoan Anh Nguyen先生,Tien N.Nguyen先生.532-542 [美国国防部]
- 通过重构跨越从命令式编程到函数式编程的鸿沟亚历克斯·Gyori,莱尔·富兰克林,丹尼·迪格,扬·拉霍达.543-553 [美国国防部]
- 可扩展和增量软件错误检测斯科特·麦克皮克,查尔斯·亨利·格罗斯,穆拉利·克里希纳·拉马纳坦.554-564 [美国国防部]
- 推断用于检测同级错误的项目特定错误模式梁广泰,王千祥,陶雪,洪梅.565-575 [美国国防部]
- 挖掘简洁的谓词错误签名孙成年,Siau-Cheng Khoo公司.576-586 [美国国防部]
- SocialCDE：全球软件团队的社会意识工具法比奥·卡莱法托,菲利波·拉努比尔.587-590 [美国国防部]
- REDACT：防止基于应用程序的事务出现数据库死锁B.M.Mainul侯赛因,马克·格雷切尼克,Ugo购买,王海生.591-594 [美国国防部]
- aPET：并发对象的测试用例生成工具埃尔维拉·阿尔伯特,普里竞技场,米盖尔·戈梅斯·扎马洛亚,Peter Y.H.Wong（彼得·黄）.595-598 [美国国防部]
- RUBRIC：用于自动检查是否符合要求样板的灵活工具切坦·阿罗拉,梅赫达德·萨贝扎德,莱昂内尔·布赖恩,弗兰克·齐默,劳尔·格纳加.599-602 [美国国防部]
- RiTHM：为C程序启用时间触发运行时验证的工具萨马内·纳瓦布普,Yogi Joshi（瑜伽大师）,吴振华,谢·贝尔科维奇,拉米·梅德哈特,Borzoo Bonakdarpour公司,塞巴斯蒂安·费奇梅斯特.603-606 [美国国防部]
- PoMMaDe：用于恶意软件检测的下推模型检查傅松,泰西尔·图利.607-610 [美国国防部]
- RADA:用抽象推理代数数据类型的工具团结Pham,迈克尔·W·惠伦.611-614 [美国国防部]
- Jalangi：一个用于协调测试、选择性记录重放和JavaScript动态分析的工具框架库什克森,斯瓦鲁-卡拉萨普尔,塔斯尼姆·G·布鲁奇,西蒙·吉布斯.615-618 [美国国防部]
- RSA-MBT：基于模型生成测试工件的测试工具安德鲁·迪尼兹·达科斯塔,里卡多·维尼埃利斯,古斯塔沃·罗比切斯·德·卡瓦略,卡洛斯·何塞·佩雷拉·德卢塞纳.619-622 [美国国防部]
- USMMC：UML状态机的自包含模型检查器刘爽,杨柳,孙军0001,满族郑,Bimlesh瓦德瓦,金松洞.623-626 [美国国防部]
- 通过程序分析从JavaScript中提取URLQi Wang（王琦）,周靖宇,陈玉亭,张益洲,赵建军.627-630 [美国国防部]
- 通过连续测试进行数据调试基万萨·穆斯鲁,尤里·布伦,亚历山大·梅里奥.631-634 [美国国防部]
- 弹性计算系统的迭代测试集精化阿莱西奥·甘比,安东尼奥·菲列里,Schahram Dustdar公司.635-638 [美国国防部]
- 使用故障历史改进突变减少劳拉·伊诺泽姆采娃,哈迪·赫马蒂,里德·霍姆斯.639-642 [美国国防部]
- 应用软件缺陷预测模型的成本效益准则张宏宇,S.C.Cheung先生.643-646 [美国国防部]
- 错误地图：错误的地形图江涛宫,张宏宇.647-650 [美国国防部]
- 用于语言迁移的词汇统计机器翻译阮安图,Tung Thanh Nguyen先生,Tien N.Nguyen先生.651-654 [美国国防部]
- 代码片段摘要安妮·T·T·英,马丁·罗比拉德.655-658 [美国国防部]
- 了解软件开发的游戏化机制丹尼尔·杜布瓦,佐丹诺·坦布里里.659-662 [美国国防部]
- 理解软件信息站点中未回答问题的原因：堆栈溢出案例研究里蓬·K·萨哈,阿维吉特·K·萨哈,德韦恩·佩里.663-666 [美国国防部]
- 业务逻辑在哪里？耶尔·杜宾斯基,伊莎·费尔德曼,马亚恩·戈尔茨坦.667-670 [美国国防部]
- 软件开发团队中的情感意识埃米扎·古兹曼,伯恩·布鲁格.671-674 [美国国防部]
- 大型行业代码的精确范围分析希拉旺·库玛,巴蒂·奇迪瓦尔,乌尔卡·什洛特里.675-678 [美国国防部]
- 公司软件重用协议蒂杰门·德古伊耶（Thijmen de Gooijer）,海科·科齐奥列克.679-682 [美国国防部]
- 好的技术使困难的任务变得容易安德烈·特雷霍夫.683-686 [美国国防部]
- ShAir：用于移动对等资源共享的可扩展中间件丹尼尔·杜布瓦,Yosuke Bando先生,渡边康之助,亨利·霍尔兹曼.687-690 [美国国防部]
- 风险文件：一种专注于质量改进工作的方法奥德里斯·莫库斯,兰迪·哈克巴思,约翰·道格拉斯·帕夫拉曼.691-694 [美国国防部]
- 基于梯形图程序运行时分析的系统可靠性计算余江,张荷华,韩流（Han Liu）,宋晓宇,威廉·N.洪,明古,孙嘉光.695-698 [美国国防部]
- h-ubu：面向JavaScript应用程序的工业级面向服务的组件框架Clément Escoffer公司,菲利普·拉兰达,尼古拉斯·伦波斯基.699-702 [美国国防部]
- 使用形式化技术设计和优化多锁嵌入式系统余江,李宗辉,张荷华,邓阳东,宋晓宇,明古,孙嘉光.703-706 [美国国防部]
- 静态分析工具的经济性拉胡尔·库马尔,阿迪蒂亚·诺里.707-710 [美国国防部]
- 自动描述软件故障尼古拉斯·迪朱塞佩.711-714 [美国国防部]
- 实时计算中的模糊服务匹配玛丽·克里斯汀·普拉蒂尼乌斯.715-718 [美国国防部]
- PHRT：用于硬件再工程自动化的模型和可编程工具奥列格·内纳舍夫.719-722 [美国国防部]
- 使用主题模型了解软件生态系统的演变洛佩兹.723-726 [美国国防部]
- 汽车结构描述及其质量Yanja Dajuren女士.727-730 [美国国防部]
- 走向开放式体系结构巴赫蒂亚尔·沃格尔.731-734 [美国国防部]
- 定义DSL动态语义的框架乌利亚纳·蒂霍诺娃.735-738 [美国国防部]