2013年ASE第28届:美国加利福尼亚州硅谷
埃文·丹尼 , 特夫菲克·布尔坦 , 安德利亚斯·策勒 :
2013年11月11日至15日,美国加利福尼亚州硅谷,ASE 2013,第28届IEEE/ACM自动化软件工程国际会议。 电气与电子工程师协会 2013
受邀论文
技术研究方向
并发
陆章 , 阿里吉特·查托帕迪耶 , 王超(Chao Wang) :
综述:运行时检查并发数据结构的准线性化能力。 4-14 张绍杰 , 孙军 , 孙成年 , 杨柳 , 马俊伟 , 金松洞 :
基于约束的自动对称检测。 15-25 于晃(音) , 埃里克·默瑟 , 杰-麦卡锡 :
使用SMT证明MCAPI执行是正确的。 26-36 马来语K.Ganai :
基于时间戳锁历史的增量推理的高效数据竞争预测。 37-47
动力学分析
永威权 , 张湘玉 , 徐东燕 :
PIEtrace:独立于平台的可执行跟踪。 48-58 维杰·克里希纳·帕勒普 , 徐国庆 , 詹姆斯·琼斯 :
使用动态相关性摘要提高动态分析的效率。 59-69 帕特里克·奥尼尔·梅雷迪斯 , 格里戈·罗苏 :
具有确定性字符串重写的高效参数运行时验证。 70-80 威廉·萨姆纳 , 张湘玉 :
确定动态分析的执行点。 81-91
测试
张玲明 , 米洛斯·格利戈里克 , 达科·马里诺夫 , 萨尔夫拉兹·库希德 :
基于操作员和随机突变选择:更好地结合。 92-102 徐志宏 , 马丁·赫泽尔 , 格雷格·罗瑟梅尔 , 吴坤龙 :
测试数据流程序操作符的属性。 103-113 萨米拉·塔沙罗菲 , 迈克尔·普拉德尔 , 于林 , 拉尔夫·约翰逊 :
Bita:演员节目的覆盖引导自动测试。 114-124 多梅尼科·科特罗尼奥 , 多梅尼科·迪利奥 , 弗朗西斯科·富奇 , 罗伯托·纳特拉 :
SABRINE:基于状态的操作系统健壮性测试。 125-135
验证
蔡元秋(Chia Yuan Cho) , 维杰·德席尔瓦 , 黎明之歌 :
BLITZ:针对真实程序的组合有界模型检查。 136-146 尼科拉斯·罗斯纳 , 朱奈德·哈龙·西迪基 , 纳扎雷诺·阿吉雷 , 萨尔夫拉兹·库希德 , 马塞洛·F·弗里亚斯 :
Ranger:通过范围划分对合金模型进行并行分析。 147-157 Yuta Maezawa先生 , Hironori Washizaki公司 , 田本义一(Yoshinori Tanabe) , Shinichi Honiden公司 :
Ajax应用程序中基于模式的交互不变量的自动验证。 158-168 西里尔·阿瑟 , Masami Hagiya先生 , 理查德·波特 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
具有基于选择器的非阻塞通信的分布式系统的软件模型检查。 169-179
进化
Hoan Anh Nguyen先生 , Anh Tuan Nguyen女士 , Tung Thanh Nguyen先生 , Tien N.Nguyen先生 , 赫里德什·拉詹 :
研究软件进化中代码更改的重复性。 180-190 蒂莫·凯勒 , 乌多·凯尔特 , 加布里埃尔·坦泽尔 :
模型版本控制中保持一致性的编辑脚本。 191-201 师尼古拉斯·陈 , 拉尔夫·约翰逊 :
JFlow:基于流的并行的实用重构。 202-212 杰弗里·巴恩斯 , 阿舒托什·潘迪 , 大卫·加兰 :
软件架构(architecture)演进的自动化规划。 213-223
生成和合成
赛张(Sai Zhang) , 孙玉音 :
根据输入输出示例自动合成SQL查询。 224-234 李开拓 , 克里斯托夫·赖森巴赫 , 亚尼斯·斯马拉格达基斯 , 燕蕾雕 , 克里斯托夫·塞勒纳 :
SEDGE:数据流程序的符号示例数据生成。 235-245 萧旭升 , 李思翰(Sihan Li) , 陶雪 , 尼古拉·蒂尔曼 :
通过符号执行生成结构测试的循环问题的特性研究。 246-256 何塞·坎波斯 , 鲁伊·阿布鲁 , 弗雷泽 , 马塞洛·阿莫林 :
基于熵的测试生成用于改进故障定位。 257-267
建议
法比奥·帕隆巴 , 加布里埃尔·巴沃塔 , 马西米利亚诺·迪·彭塔 , 洛科·奥利维托 , 安德烈亚·德卢西亚 , 丹尼斯·波西瓦尼克 :
使用更改历史信息检测源代码中的臭味。 268-278 田江 , 林丹 , Sunghun Kim先生 :
个性化缺陷预测。 279-289 费迪安·图恩 , 王绍伟 , 大卫·罗 , 朱莉娅·劳尔 :
从功能请求中自动推荐API方法。 290-300 郭建美 , 克日什托夫·沙内基(Krzysztof Czarnecki) , 斯文·阿佩尔 , 诺伯特·西格蒙德 , 安德烈·瓦索夫斯基 :
变量感知性能预测:一种统计学习方法。 301-311
安全
Mahinthan Chandramohan公司 , Hee Beng Kuan Tan先生 , 莱昂内尔·布赖恩 , Lwin Khin Shar公司 , 宾杜·马达维·帕德马纳布胡尼 :
一种通过有限特征空间行为建模进行恶意软件检测的可扩展方法。 312-322 吴永正 , 孙军 , 杨柳 , 金松洞 :
使用动态数据依赖性分析将软件自动划分为权限最小的组件。 323-333 拉杜·万丘 , 马尔万·阿比安顿 :
使用约束查找架构缺陷。 334-344
调试
里蓬·K·萨哈 , 马修租约 , 萨尔夫拉兹·库希德 , 德韦恩·佩里 :
使用结构化信息检索改进错误定位。 345-355 维斯特利·威默尔 , 扎卡里·P·弗莱 , 斯蒂芬妮·福雷斯特 :
利用程序等效性进行自适应程序修复:模型和第一个结果。 356-366 白沙基射线 , 金美荣 , 苏泽特人 , 内哈·隆塔 :
检测和描述移植代码中的语义不一致。 367-377 彼得·奥曼 , 本·利布利特 :
轻量级控制流仪表和事后分析,以支持调试。 378-388
资源
郭朝荣 , 张健(Jian Zhang) , Jun Yan先生 , 张志强 , 张艳丽 :
描述和检测Android应用程序中的资源泄漏。 389-398 洪越阮 , Hoan Anh Nguyen先生 , Tung Thanh Nguyen先生 , Anh Tuan Nguyen女士 , Tien N.Nguyen先生 :
多配置和基于PHP的动态Web应用程序中的悬空引用。 399-409 埃里克·斯特伦德 , 韦尔夫·洛韦 :
动态转换数据结构。 410-420 Benedek Izsó , 佐尔坦·萨塔马里 , 加博尔·伯格曼 , 阿尔科斯·霍瓦思 , 伊斯特万·拉思 :
用于预测图形查询性能的精确度量。 421-431
规范挖掘
模型和复杂性
理查·坡尔 , 瓦妮莎·斯特里克 , 克劳斯·波尔 :
测量特征模型的结构复杂性。 454-464 阿卜杜勒·萨拉姆·赛义德 , 约瑟夫·英格拉姆 , 蒂姆·孟席斯 , 哈尼·H·阿马尔 :
可扩展的产品线配置:一根稻草可以压垮骆驼的背。 465-474
体验课程
经验: 软件分析
建光楼 , 林庆伟 , 丁瑞 , 强夫 , 张冬梅 , 陶雪 :
在线服务事件管理的软件分析:经验报告。 475-485 约书亚·加西亚 , 伊戈尔·伊夫科维奇 , 内纳德·梅德维多维奇 :
软件体系结构恢复技术的比较分析。 486-496 张刚(Gang Zhang) , 辛鹏 , 振兴 , 石海江 , 王海(Hai Wang) , 赵文云 :
通过持续监控实现上下文和按需代码克隆管理。 497-507 安德烈亚斯·辛伯格 , 斯文·阿佩尔 , 阿明·格伦格 , 克里斯蒂安·伦高 :
多面体优化的潜力:一项实证研究。 508-518
经验: 测试和验证
金云浩(Yunho Kim) , 尤伊尔·金 , Taeksu Kim公司 , 李刚宇(Gunwoo Lee) , Yoonkyu Jang先生 , 蒙祖·金 :
使用协调测试对大型工业嵌入式软件进行自动化单元测试。 519-528 希瓦·内贾蒂 , 莫拉约·阿德朱马 , 莱昂内尔·布赖恩 , 乔纳森·海勒巴特 , 朱利安·贝基 , 伊夫·克莱门特 :
将集成嵌入式软件中的CPU时间短缺风险降至最低。 529-539 丹尼尔·迪·纳尔多 , 纳迪娅·阿尔沙旺 , 莱昂内尔·布赖恩 , 伊丽莎白·福内雷特 , 托米斯拉夫·纳基奇·阿尔菲雷维奇 , 文森特·马斯奎利耶 :
数据采集系统的基于模型的测试验证和预言。 540-550 Deepak Dhungana公司 , 青虎堂 , 克里斯托夫·魏登巴赫 , 帕特里克·维什内夫斯基 :
交互式基于规则的配置系统的自动验证。 551-561
新想法跟踪
新想法: 适应和转变
埃德蒙·王 , 杨金秋 , 林丹 :
自动评论:挖掘问答站点以自动生成评论。 562-567 斯米塔·盖萨斯 , 曼尼什·莫特瓦尼 , 普雷图·罗斯·阿尼什 :
从文档中检测系统用例和验证。 568-573 加西亚·加兰 , 巴勃罗·特立尼达 , 安东尼奥·鲁伊斯·科尔特斯 :
多用户可变性配置:一种博弈论方法。 574-579 尼古拉斯·桑尼尔 , 马修·阿切尔 , Benoit Baudry公司 :
从比较矩阵到变量模型:维基百科案例研究。 580-585 蒂莫西·迪特里希 , 简·克莱兰德·黄 , 永和信 :
学习有效的查询转换以增强需求跟踪检索。 586-591 常旭 , 杨文华 , 马晓星 , 春操 , 陆健 :
环境再匹配:为自适应应用程序提高可靠性。 592-597 伊桑霍尔德 , 伊珊·沙阿 , 穆罕默德·达沃迪 , 伊莱·提列维奇 :
Cloud Twin:在Windows Phone上本地执行android应用程序。 598-603 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 魏晋 , 罗伯托·蒂埃拉 , 亚历山德罗·奥索 , 保罗·托内拉 :
SBFR:一种基于搜索的方法,用基于语法的输入再现程序的失败。 604-609
新想法: 测试和调试
沙布纳姆·米尔肖克利 , 阿里·梅斯巴 , 卡提克·帕塔比拉曼 :
PYTHIA:为JavaScript应用程序生成带有oracles的测试用例。 610-615 努普尔·库克雷加 , 威廉·G·J·哈尔丰德 , 米林德·坦贝 :
使用博弈论进行随机回归测试。 616-621 Duy Cu Nguyen先生 , 保罗·托内拉 :
组合测试分类和依赖性的自动推断。 622-627 Higor Amario de Souza公司 , 马科斯·洛德洛·查姆 :
使用集成覆盖将上下文添加到故障定位。 628-633 帕特萨德奥 , 尼古拉斯·埃沃尔特 , Debjit Pal公司 , 肖巴·瓦苏德万 :
使用自动生成的不变量进行回归测试和错误定位。 634-639 朱塞佩·斯坎尼略 , 卡米娜·格拉维诺 , 安德里安·马库斯 , 蒂姆·门齐斯 :
使用软件聚类进行类级故障预测。 640-645 埃文·莫里茨 , 马里奥·利纳雷斯·Vásquez , 丹尼斯·波西瓦尼克 , 马克·格雷切尼克 , 科林·麦克米兰 , 马尔科姆·盖瑟斯 :
ExPort:检测并可视化大型源代码存储库中的API用法。 646-651 沙申克·霍拉瓦纳利 , 唐曼纽尔酒店 , 维什瓦斯·南君达斯瓦米 , 布莱恩·罗森博格 , 冯申 , 史蒂文·科伊(Steven Y.Ko) , 卢卡斯·齐亚雷克 :
Android的流权限。 652-657
新想法: 模型和要求
贾尔斯·雷格尔 , 霍华德·巴林格 , 大卫·E·瑞德海尔 :
一种基于模式的参数化规范挖掘方法。 658-663 达斯汀·维斯特 , 诺伯特·塞夫 , 马丁·格林茨 :
从模型草图半自动生成元模型。 664-669 瓦尔沙·维拉帕 , 瑞秋·哈丽森 :
通过论证评估需求的成熟度:一种足够好的方法。 670-675 K.M.Annervaz公司 , 维克兰·考古德(Vikrant S.Kaulgud) , Shubhashis Sengupta公司 , 米林·萨瓦干卡尔 :
基于业务领域模型的自然语言需求质量分析。 676-681 Jens von朝圣者 , 巴斯蒂安·乌尔克 , 安德烈亚斯·蒂斯 , 弗里德里希·斯特曼 :
模型/代码协同重构:MDE方法。 682-687 哈杰尔·萨达 , 玛丽安·胡查德 , 克莱门汀·内布特 , Houari A.Sahraoui公司 :
使用多目标优化恢复模型转换轨迹。 688-693
工具演示
努诺·马塞多 , 蒂亚戈·吉马朗斯 , 阿尔西诺库尼亚 :
使用Echo进行模型修复和转换。 694-697 莫汉·巴鲁瓦尔·切特里 , 谢尔盖·奇钦 , Quoc Bao Vo公司 , Ryszard Kowalczyk公司 :
智能云代理:在云中找到你的家。 698-701 亚历山德罗·西马蒂 , 米歇尔·多里加蒂 , 斯特凡诺·托内塔 :
OCRA:一种用于检查时间契约细化的工具。 702-705 斯蒂芬·福克 , 弗洛里安·默兹 , 卡斯滕·辛兹 :
有界模型检查器LLBMC。 706-709 伯恩德·费舍尔 , 奥马尔·因弗索 , Gennaro Parlato公司 :
CSeq:用于顺序C验证工具的并发预处理器。 710-713 阿莱西奥·甘比 , Waldemar悍马 , Schahram Dustdar公司 :
使用AUToCLES自动测试基于云的弹性系统。 714-717 伊曼·阿瓦兹波尔 , 约翰·格兰迪 , 拉尔斯·格伦斯克 :
使用具体可视化的自动模型转换规范的工具支持。 718-721 马库斯·库萨诺 , 王超(Chao Wang) :
CCmutator:多线程C/C++应用程序中并发构造的变异生成器。 722-725 克里斯托弗·谢弗 , 贤秀道 , 布莱恩·斯莱特 :
Crushinator:一个面向游戏依赖性测试的框架。 726-729 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 陶雪 , 朱迪思·毕晓普 :
Pex4Fun:通过自动测试生成用于教育游戏的基于web的环境。 730-733 Radu Calinescu公司 , 肯尼思·约翰逊 , 亚斯敏·拉菲克 :
开发基于服务的自我验证系统。 734-737 凯莱特索·莱索洛 , 赵丽萍 , 埃罗·瓦列里奥·乔瓦斯卡(Erol-Valeriu Chioasca) :
TRAM:将文本需求转换为分析模型的工具。 738-741 尼普·阿罗拉 , 张慧(音) , 李荣焕 , 吉贺贤治 , 姜国飞 :
iProbe:轻量级用户级动态检测工具。 742-745
博士生论坛
法特梅赫·亨迪亚尼·法德(Fatemeh Hendijani Fard) :
使用消息内容无关的方法检测和修复分布式软件系统中的紧急行为。 746-749 拉米罗·德马西 :
根据道义逻辑规范合成容错程序。 750-753 弗朗西斯科仆人 :
支持使用历史分析进行错误调查。 754-757 Jun Lin(林军) :
分布式敏捷团队的上下文感知任务分配。 758-761 迈赫迪·米拉霍利 :
通过战略实施、保存和可视化防止架构策略的侵蚀。 762-765
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)