ASE 2009年第24届:新西兰奥克兰
-
ASE 2009,第24届IEEE/ACM自动化软件工程国际会议,新西兰奥克兰,2009年11月16-20日。 IEEE计算机学会 2009 ,国际标准图书编号 978-0-7695-3891-4
主讲人
曼纽尔·威默 , 格蒂·卡佩尔 , 约翰内斯·舍恩伯克 , 安吉丽卡·库塞尔 , 沃纳·雷茨基格 , 维兰德·施温格 :
基于Petri网的QVT关系调试环境。 3-14 阿纳布·雷 , 艾丽斯·莫舒豪斯 , 克里斯托弗·阿克曼 , 兰斯·克莱维兰 , 查尔斯·谢尔顿 , 克里斯·马丁 :
使用基于仪器的验证验证汽车控制软件。 15-25
要求
巴里斯·吉尔达利 , 霍尔格·芬克 , 迈克尔·贾纳赫 , 斯特凡·索尔 , 格雷戈·恩格斯 :
使用需求聚类的e-ID系统半自动化测试规划。 29-39 罗伯特·J·霍尔 :
软件工程搜索的量子算法。 40-51 菲利普·格林二世 , 蒂姆·门齐斯 , 史蒂夫-威廉姆斯 , 乌萨马·埃尔·拉瓦斯 :
了解软件工程技术的价值。 52-61
缺陷检测-1
古斯塔夫·蒙克比 , 西比尔·舒普 :
软错误容错预测的类型推断。 65-75 沙伊玛·阿里 , 詹姆斯·安德鲁斯 , 塔米尔塞尔维·达达帕尼 , 王万涛 :
评估故障定位技术的准确性。 76-87 鲁伊·阿布雷乌 , 彼得·佐特韦伊 , 阿尔扬·J·C·范·杰蒙德 :
基于谱的多故障定位。 88-99
维护和发展-1
帕特里卡·韦格日诺维奇(Patrycja Wegrzynowicz) , 克日什托夫·斯坦塞尔 :
面向设计模式检测器的综合测试套件。 103-110 大卫·考瑞科 , Martin P.罗比拉德 :
通过自动检测冗余代码改进API使用。 111-122 Tung Thanh Nguyen先生 , Hoan Anh Nguyen先生 , Nam H.Pham公司 , Jafar M.Al Kofahi先生 , Tien N.Nguyen先生 :
克隆软件配置管理。 123-134
验证-1
卢卡斯·科尔德罗 , 伯恩德·菲舍尔 , 乔安·马奎斯·西尔瓦 :
嵌入式ANSI-C软件基于SMT的有界模型检查。 137-148 安德烈亚斯·赛布乔恩森 , 凌霄江 , 丹尼尔·昆兰 , 苏振东 :
C预处理器宏的静态验证。 149-160 雅各布·伯尼姆 , 尼古拉斯·贾伯特 , 克里斯托斯·斯特吉奥 , 库什克森 :
循环器:运行时对无限循环的轻量级检测。 161-169
软件架构和设计
黄国荣 , 蔡元芳 :
提高逻辑决策模型中依赖性分析的效率。 173-184 Eugen C.Nistor公司 , 安德烈·范德霍克 :
通过ArchEvolo明确关注驱动开发。 185-196 黄国荣 , 蔡元芳 , 朱塞佩·瓦莱托 , 乔治·西蒙诺夫 , 坎瓦普里特·塞提 :
软件开发任务中的设计规则层次和并行性。 197-208
测试
Rattikorn Hewett公司 , Phongpun Kijsanayothin公司 :
软件组件集成测试的自动测试订单生成。 211-220 于林 , 徐成堂 , 陈玉亭 , 赵建军 :
Java程序自适应随机测试的一种面向发散的方法。 221-232 薄江 , 张振宇 , 永光禅 , 谢霆锋 :
自适应随机测试用例优先级。 233-244
易变性
保罗·格伦巴赫 , 瑞克·拉比塞 , Deepak Dhungana公司 , 马丁·莱霍费尔 :
基于模型的自定义和基于Eclipse的工具的部署:工业经验。 247-256 王一桥 , 约翰·米洛波洛斯 :
通过重新配置进行自我修复:一种需求工程方法。 257-268 金·劳恩罗斯 , 克劳斯·波尔 , 西蒙·托宁 :
产品线工程中领域工件的模型检查。 269-280
缺陷检测-2
Suresh Thummalapenta公司 , 陶雪 :
Alattin:挖掘替代模式以检测被忽视的条件。 283-294 安德烈·瓦西尔科夫斯基(Andrzej Wasylkowski) , 安德利亚斯·策勒 :
从对象使用中挖掘时间规范。 295-306 郝忠 , 陆章 , 陶雪 , 洪梅 :
从自然语言API文档推断资源规范。 307-318
人机交互与计算机支持的协同工作
马提亚斯图书 , 托比亚斯·布吕克曼 , 沃尔克·格鲁恩 , 马尔特·希尔德 :
富Internet应用程序中用户输入接口响应的规范和控制。 321-331 Sangmok Han先生 , 大卫·R·华莱士 , 罗伯特·米勒 :
通过缩写输入完成代码。 332-343 瓦利德·马莱吉 :
任务优先还是上下文优先? 重新审视工具集成。 344-355
可追溯性和监测
大卫·罗 , 沙哈尔·毛兹 :
基于场景的分层挖掘规范。 359-370 迈克尔·普拉德尔 , 托马斯·R·格罗斯 :
从大型方法跟踪中自动生成对象使用规范。 371-382 冯晨 , 帕特里克·奥尼尔·梅雷迪斯 , 金东云 , 格里戈尔·罗苏 :
参数属性的高效形式化独立监控。 383-394
维护和发展-2
里德·霍姆斯 , 特里斯坦·拉奇福德 , 马丁·罗比拉德 , 罗伯特·沃克 :
自动推荐实用重用任务的分类决策。 397-408 米通·阿查里亚 , Vamshidhar Kommineni公司 :
挖掘服务性能监控的运行状况模型。 409-420 莫森·瓦基利安 , 丹尼·迪格 , 小罗伯特·L·博基诺。 , 杰弗里·奥弗贝 , 维克拉姆·S·阿德 , 拉尔夫·约翰逊 :
嵌套堆区域的推断方法效果总结。 421-432 布雷特·丹尼尔 , 维拉斯·贾甘纳特 , 丹尼·迪格 , 达科·马里诺夫 :
ReAssert:建议修复损坏的单元测试。 433-444
验证-2
西里尔·阿瑟 , Watcharin Leungwattanakit先生 , Masami Hagiya先生 , 田部义信 , 山本三郎 :
基于缓存的网络应用程序模型检查:从线性到分支时间。 447-458 阿里·塔莱哈尼 , 乔安妮·M·阿特里 :
状态空间覆盖估计。 459-467 史蒂文·劳特伯格 , 米尔科·多塔 , 达尔科·马里诺夫 , 古尔·A·阿加 :
基于Java的演员程序的状态空间探索框架。 468-479 Jyotirmoy V.Deshmukh公司 , E.艾伦·艾默生 , 斯里拉姆·桑卡拉纳拉亚南 :
并发图书馆及其客户端中的符号死锁分析。 480-491
短文
KyungHee Kim(金庆熙) , Tuba Yavuz-Kahveci公司 , 贝弗利·A·桑德斯 :
基于启发式模型检查的松弛记忆模型中的精确数据竞争检测。 495-499 张鹏程 , 拉尔斯·格伦斯克 , 安东尼·唐 , 李碧欣 :
概率时间属性序列图的形式语法。 500-504 阿尔代达·阿列蒂 , 拉尔斯·格伦斯克 , 英迪卡·米德尼娅 , 艾琳·莫瑟 :
让蚂蚁部署您的软件-基于ACO的部署优化策略。 505-509 伊夫·莱德鲁 , 亚历山大·佩特伦科 , 塞尔吉·博罗迪 :
使用字符串距离进行测试用例优先级排序。 510-514 诺丽 , 陶雪 , 尼古拉·蒂尔曼 , 乔纳森·德哈勒克斯 , 沃尔夫拉姆·舒尔特 :
Reggae:使用复杂正则表达式的程序自动测试生成。 515-519 佛罗伦萨·T·巴拉塔斯·费尔南德斯 , 海因里希·赫斯曼 :
简化移动应用程序可用性分析的方法和框架。 520-524 余洪基(Yuhoon Ki) , Meongchul宋 :
一种基于开源的软件开发基础设施方法。 525-529 阿尔贝托·萨丁哈 , Ruzanna Chitchyan公司 , 内森·韦斯顿 , 菲尔·格林伍德 , 阿韦斯·拉希德 :
EA-Analyzer:自动化面向方面需求中的冲突检测。 530-534 菲利佩·拉兰内 , 圣母玛利亚 , 埃德加多·蒙特斯·德奥卡 , 安娜·R·卡瓦利 , 维萨姆·马卢利 , 阿尔诺·贡厄特 :
IMS PoC服务的自动被动测试方法。 535-539 金汉金 , 桑勋·李 , Seung-won黄 , Sunghun Kim先生 :
在Java文档中添加示例。 540-544 路易斯·M·罗斯 , 迪米特里奥斯·科洛沃斯 , 理查德·佩奇 , 菲奥娜·A·C·波拉克 :
增强了管理模型和元模型不一致的自动化。 545-549 瓦伦汀·达尔梅尔 , 安德利亚斯·策勒 , 贝特朗·梅耶 :
从对象行为异常生成修复。 550-554 酒神阿萨纳索普洛斯 , 阿波斯托洛斯·萨拉斯 , 瓦莱里·伊斯萨尼 :
重新审视服务替代。 555-559 埃文·丹尼 , 伯恩德·菲舍尔 :
自动生成数学软件的可追溯性和文档的验证驱动方法。 560-564 索蒂里奥斯·利亚斯科斯 , 希拉·麦克拉伊思 , 约翰·米洛波洛斯 :
使用首选项扩充需求模型。 565-569 桑德罗·博库佐 , 哈拉尔德·加尔德 :
软件探索中的自动理解任务。 570-574 拉斐·卡查杜里恩 , 菲尔·格林伍德 , 阿韦斯·拉希德 , 徐国庆 :
切入点复兴:在不断发展的面向方面软件中恢复切入点表达式。 575-579 布莱恩柠檬 , 亚伦·里斯贝克 , 蒂姆·门齐斯 , 贾斯汀·普莱斯 , 约瑟夫·达莱桑德罗 , 里卡德·卡尔森 , 托米·普里菲蒂 , 费奥拉·彼得斯 , 惠华路 , 丹尼尔·波特 :
模拟和人工智能搜索的应用:评估敏捷与传统软件开发的相对优势。 580-584 奥斯卡·冈萨雷斯 , 鲁比·卡萨勒斯 , 德克·德里德 :
自动化工作流应用程序中分析关注点的实现。 585-589 钟勋(大卫)安 , 阿维克·乔杜里 , 杰弗里·福斯特 :
Ruby on Rails的静态键入。 590-594 基思·卡塞尔 , 彼得·安德烈 , 林赛·格罗夫斯 , 詹姆斯·诺布尔 :
使用betweeness聚类实现自动分类。 595-599 希夫库马尔·希瓦吉 , E.詹姆斯·怀特黑德。 , 拉姆·阿凯拉 , Sunghun Kim先生 :
减少功能以改进错误预测。 600-604 方瑜 , 穆阿特·阿尔哈拉夫 , 特维菲克·布尔坦 :
使用基于自动机的正向和反向符号分析为字符串操作程序生成漏洞签名。 605-609 怀王 , W.K.Chan先生 :
将上下文敏感性编织到测试套件构造中。 610-614 朱奈德·哈龙·西迪基 , 达科·马里诺夫 , 萨尔夫拉兹·库希德 :
优化结构约束求解器以实现高效的软件检查。 615-619 穆罕默德·祖拜尔·马利克 , 哈立德·古里 , 巴西姆·埃尔卡拉布利赫 , 萨尔夫拉兹·库希德 :
使用数据结构修复进行自动调试的案例。 620-624 恩里科·比尔曼 , 卡斯滕·埃里格 , 克劳迪娅·埃尔梅尔 , 乔纳斯·赫尔曼 :
基于Eclipse建模框架为特定领域建模语言生成仿真视图。 625-629 马丁·威格霍费尔 , 弗雷泽 , 弗兰兹·沃塔瓦 :
使用基于谱的故障定位进行测试用例分组。 630-634 吉里·巴纳特 , 卢博斯·布里姆 , 帕维尔·西蒙塞克 :
基于群集的I/O高效LTL模型检查。 635-639 布赖恩·C·迪恩 , 威廉·B·普雷斯利 , 布莱恩·马洛伊 , 亚当·惠特利 :
多故障自动定位的线性规划方法。 640-644 丹尼尔·巴拉苏布拉曼尼亚 , 伊桑·K·杰克逊 :
迷失在翻译中:遗忘的语义锚定。 645-649 马尔科·皮奇奥尼 , 曼纽尔·奥利奥 , 贝特朗·梅耶 , Teseo Schneider公司 :
基于IDE的面向对象软件模式演化集成解决方案。 650-654
工具演示文件
月亮婷素 , 克里斯蒂安·赫希 , 约翰·霍斯金 :
KaitoroBase:软件架构文档的可视化探索。 657-659 约西普·马拉斯 , 玛雅·斯图拉 , 伊维卡·克伦科维奇 :
phpModeler—Web模型提取程序。 660-661 汤姆·杨森 , 鲁伊·阿布鲁 , 阿尔扬·J·C·范·杰蒙德 :
Zoltar:自动故障定位工具集。 662-664 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 亚历山德罗·马里奥蒂 , 克里斯蒂安·马塔雷 , 安德烈亚·米其利 , 塞尔吉奥·莫弗 , 马可·彭萨洛托 , 马可·罗维里 , 安吉洛·苏西 , 斯特凡诺·托内塔 :
支持需求验证:EuRailCheck工具。 665-667 丹尼尔·克罗宁 , 娜塔莎·莎莉吉娜 , 斯特凡诺·托内塔 , Aliaksei Tsitovich公司 , 克里斯托弗·温特斯泰格 :
Loopfrog:用于ANSI-C程序的静态分析器。 668-670 Abdelouahed Gherbi先生 , 阿里·坎索 , Ferhat Khendek公司 , 阿卜杜勒瓦哈布·哈穆·哈德(Abdelwahab Hamou-Lhadj) , 玛丽亚·托罗 :
用于生成和验证软件可用性配置的工具套件。 671-673 Motoshi Saeki先生 , Shinpei Hayashi公司 , 海谷春彦 :
面向属性目标的需求分析工具。 674-676 张玲明 , 冀州 , 丹昊(Dan Hao) , 陆章 , 洪梅 :
Jtop:在缺少覆盖信息的情况下管理JUnit测试用例。 677-679 德瓦·库马尔·迪普蒂马汉蒂 , 穆罕默德·阿里·巴巴尔 :
从自然语言需求生成UML模型的自动化工具。 680-682 Keiji Hokamura先生 , Ryoto Naruse公司 , Masaru Shiozuka先生 , Naoyasu Ubayashi先生 , Shin Nakajima先生 , 岩井明仁 :
AOWP:用于PHP的特定于Web的AOP框架。 683-685
博士论文研讨会
杰冯·怀特 :
交互式Web应用程序的建模语言。 689-692 马西拉·卡马尔鲁丁 :
用于检查需求不一致性的自动化软件工具支持。 693-697 安德鲁·约翰·丹尼斯·米兹 :
移动服务提供的整体方法。 698-702 何塞·罗梅罗·马里奥纳 :
安全和可用的需求工程。 703-706 M.Shaban Jokhio先生 :
基于目标的语义Web服务测试。 707-711 迪潘卡·马朱姆达尔 :
从过程编程迁移到面向方面范式。 712-715 格雷厄姆·詹森 :
使用软约束、验证和验证改进组件依赖性解决方案。 716-720