停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2013年ASE第28届：美国加利福尼亚州硅谷

>主页 >会议和研讨会 >酶

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kbse/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/2013
埃文·丹尼,特夫菲克·布尔坦,安德利亚斯·策勒:
2013年11月11日至15日，美国加利福尼亚州硅谷，ASE 2013，第28届IEEE/ACM自动化软件工程国际会议。电气与电子工程师协会 2013

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Hellerstein13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Hellerstein13
约瑟夫·海勒斯坦:
BOOM：分布式系统语言和工具设计经验（主题）。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Frank13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Frank13
杰里米·弗兰克:
自动化规划系统验证和确认的挑战（主题）。 2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Penix13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Penix13
约翰·佩尼克斯:
行业中的大问题（面板）。三

技术研究方向

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/张CW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ZhangCW13
陆章,阿里吉特·查托帕迪耶,王超（Chao Wang）:
综述：运行时检查并发数据结构的准线性化能力。 4-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Zhang0SLMD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Shang0SLMD13
张绍杰,孙军（Jun Sun）,孙成年,杨柳,马俊伟,金松洞:
基于约束的自动对称检测。 15-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/HuangMM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HuangMM13
于晃（音）,埃里克·默瑟,杰-麦卡锡:
使用SMT证明MCAPI执行是正确的。 26-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Ganai13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Ganai13
马来语K.Ganai:
基于时间戳锁历史的增量推理的高效数据竞争预测。 37-47

动力学分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/KwonZX13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KwonZX13网站
永威权,张湘玉,徐东燕:
PIEtrace：独立于平台的可执行跟踪。 48-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/PalepuXJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/PalepuXJ13
维杰·克里希纳·帕勒普,徐国庆,詹姆斯·琼斯:
使用动态相关性摘要提高动态分析的效率。 59-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MeredithR13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MeredithR13
帕特里克·奥尼尔·梅雷迪斯,格里戈·罗苏:
具有确定性字符串重写的高效参数运行时验证。 70-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SumnerZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SumnerZ13
威廉·萨姆纳,张湘玉:
确定动态分析的执行点。 81-91

测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/张GMK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/张GMK13
张玲明,米洛斯·格利戈里克,达科·马里诺夫,萨尔夫拉兹·库希德:
基于操作员和随机突变选择：更好地结合。 92-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/XuHRW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/XuHRW13
徐志宏,马丁·赫泽尔,格雷格·罗瑟梅尔,吴坤龙:
测试数据流程序操作符的属性。 103-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/TasharofiPLJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TasharofiPLJ13
萨米拉·塔沙罗菲,迈克尔·普拉德尔,于林,拉尔夫·E·约翰逊:
Bita：演员节目的覆盖引导自动测试。 114-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/CotroneoLFN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/CotroneoLFN13
多梅尼科·科特罗尼奥,多梅尼科·迪利奥,弗朗西斯科·富奇,罗伯托·纳特拉:
SABRINE：基于状态的操作系统健壮性测试。 125-135

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ChoDS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ChoDS13
蔡元秋（Chia Yuan Cho）,维杰·德席尔瓦,黎明之歌:
BLITZ：针对真实程序的组合有界模型检查。 136-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/RosnerSAKF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RosnerSAKF13
尼科拉斯·罗斯纳,朱奈德·哈龙·西迪基,纳扎雷诺·阿吉雷,萨尔夫拉兹·库希德,马塞洛·弗里亚斯:
Ranger：通过范围划分对合金模型进行并行分析。 147-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MaezawaWTH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MeezawaWTH13网站
Yuta Maezawa先生,Hironori Washizaki公司,田本义一（Yoshinori Tanabe）,Shinichi Honiden公司:
Ajax应用程序中基于模式的交互不变量的自动验证。 158-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ArthoHPTWY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ArthoHPTWY13
西里尔·阿瑟,Masami Hagiya先生,理查德·波特,田本义一（Yoshinori Tanabe）,弗兰兹·魏特尔,山本三郎:
具有基于选择器的非阻塞通信的分布式系统的软件模型检查。 169-179

进化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/NguyenNNNR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NguyenNNNR13
Hoan Anh Nguyen先生,Anh Tuan Nguyen女士,Tung Thanh Nguyen先生,Tien N.Nguyen先生,赫里德斯·拉詹:
研究软件进化中代码更改的重复性。 180-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/KehrerKT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KehrerKT13
蒂莫·凯勒,乌多·凯尔特,加布里埃尔·坦泽尔:
模型版本控制中保持一致性的编辑脚本。 191-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ChenJ13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ChenJ13
师尼古拉斯·陈,拉尔夫·约翰逊:
JFlow：基于流的并行的实用重构。 202-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/BarnesPG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BarnesPG13
杰弗里·巴恩斯,阿舒托什·潘迪,大卫·加兰:
软件架构（architecture）演进的自动化规划。 213-223

生成和合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/张S13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ZhangS13
赛张（Sai Zhang）,孙玉音:
根据输入输出示例自动合成SQL查询。 224-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/LiRSDC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LiRSDC13
李开拓,克里斯托夫·赖森巴赫,亚尼斯·斯马拉格达基斯,燕蕾雕,克里斯托夫·塞勒纳:
SEDGE：数据流程序的符号化数据生成示例。 235-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/XiaoLXT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/XiaoLXT13
萧旭升,李思翰（Sihan Li）,陶雪,尼古拉·蒂尔曼:
通过符号执行生成结构测试的循环问题的特性研究。 246-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/CamposAFd13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/CamposAFd13
何塞·坎波斯,鲁伊·阿布鲁,弗雷泽,马塞洛·阿莫林:
基于熵的测试生成用于改进故障定位。 257-267

建议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/PalombaBPOLP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/PalombaBPOLP13
法比奥·帕隆巴,加布里埃尔·巴沃塔,马西米利亚诺·迪·彭塔,洛科·奥利维托,安德烈亚·德卢西亚,丹尼斯·波西瓦尼克:
使用更改历史信息检测源代码中的臭味。 268-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/JiangTK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/JiangTK13
田江,林丹,Sunghun Kim先生:
个性化缺陷预测。 279-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ThungWLL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ThungWLL13
费迪安·图恩,王绍伟,大卫·罗,朱莉娅·劳尔:
根据功能请求自动推荐API方法。 290-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/国开行13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/GouCASW13
郭建美,克日什托夫·恰尔内茨基,斯文·阿佩尔,诺伯特·西格蒙德,安德烈·瓦索夫斯基:
变量感知性能预测：一种统计学习方法。 301-311

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ChandramohanTBSP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ChandramohanTBSP13
Mahinthan Chandramohan公司,Hee Beng Kuan Tan先生,莱昂内尔·布赖恩,Lwin Khin Shar公司,宾杜·马达维·帕德马纳布胡尼:
一种通过有限特征空间行为建模进行恶意软件检测的可扩展方法。 312-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Wu0LD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Wu0LD13
吴永正,孙军（Jun Sun）,杨柳,金松洞:
使用动态数据依赖性分析将软件自动划分为权限最小的组件。 323-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/VanciuA13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/VanciuA13网站
拉杜·万丘,马尔万·阿比安顿:
使用约束查找架构缺陷。 334-344

调试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ShaaLKP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ShaaLKP13
里蓬·K·萨哈,马修租约,萨尔夫拉兹·库希德,德韦恩·佩里:
使用结构化信息检索改进错误定位。 345-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/WeimerFF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/WeimerFF13
维斯特利·威默尔,扎卡里·P·弗莱,斯蒂芬妮·福雷斯特:
利用程序等效性进行自适应程序修复：模型和第一个结果。 356-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/RayKPR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RayKPR13
白沙基射线,米荣·金,苏泽特人,内哈·隆塔:
检测和描述移植代码中的语义不一致。 367-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/OhmannL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/OhmannL13
彼得·奥曼,本·利布利特:
轻量级控制流仪表和事后分析，以支持调试。 378-388

资源

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/国资ZZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/国资ZZ13
郭朝荣,张健（Jian Zhang）,Jun Yan先生,张志强,张艳丽（Yanli Zhang）:
描述和检测Android应用程序中的资源泄漏。 389-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/NguyenNNNN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NguyenNNNN13
洪越阮,Hoan Anh Nguyen先生,Tung Thanh Nguyen先生,Anh Tuan Nguyen女士,Tien N.Nguyen先生:
基于多配置和动态PHP的Web应用程序中的挂起引用。 399-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/OsterlundL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/OsterlundL13网址
埃里克·斯特伦德,韦尔夫·洛韦:
动态转换数据结构。 410-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/IzsoSBHR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/IzsoSBHR13
贝内德克·伊佐,佐尔坦·萨塔马里,加博尔·伯格曼,阿尔科斯·霍瓦思,伊斯特万·拉思:
用于预测图形查询性能的精确度量。 421-431

规范挖掘

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Xiao0LLS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Xiao0LLS13
郝晓,孙军（Jun Sun）,杨柳,尚伟林,孙成年:
子曰：学习有状态类型。 432-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/FhlandLM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/FahlandLM13
德克·法兰德,大卫·罗,沙哈尔·毛兹:
挖掘分支时间场景。 443-453

模型和复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/PohlSP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/PohlSP13
理查·坡尔,瓦妮莎·斯特里克,克劳斯·波尔:
测量特征模型的结构复杂性。 454-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SayyadIMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SayyadIMA13
阿卜杜勒·萨拉姆·赛义德,约瑟夫·英格拉姆,蒂姆·孟席斯,哈尼·H·阿马尔:
可扩展的产品线配置：一根稻草可以压垮骆驼的背。 465-474

体验课程

经验：软件分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/LouLDFZX13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LouLDFZX13网址
建光楼,林庆伟,丁瑞,强夫,张冬梅,陶雪:
在线服务事件管理的软件分析：经验报告。 475-485
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/GarciaIM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/GarciaIM13
约书亚·加西亚,伊戈尔·伊夫科维奇,内纳德·梅德维多维奇:
软件体系结构恢复技术的比较分析。 486-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/张PXJWZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ZhangPXJWZ13（网址：https://dblp.org/rec/conf/kbse/ZhangPXJWZ13）
张刚（Gang Zhang）,辛鹏,振兴,石海江,王海（Hai Wang）,赵文云:
通过持续监控实现上下文和按需代码克隆管理。 497-507
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SimburgerAGL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SimburgerAGL13网站
安德烈亚斯·辛伯格,斯文·阿佩尔,阿明·格伦格,克里斯蒂安·伦高:
多面体优化的潜力：一项实证研究。 508-518

经验：测试和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/KimKKLJK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KimKKLJK13
金云浩（Yunho Kim）,尤伊尔·金,Taeksu Kim公司,李刚宇（Gunwoo Lee）,Yoonkyu Jang（Yoonkyu Jang）,Moonzoo Kim公司:
使用协调测试对大型工业嵌入式软件进行自动化单元测试。 519-528
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/NejatiABHBC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NejatiABHBC13
希瓦·内贾蒂,莫拉约·阿德朱马,莱昂内尔·布赖恩,乔纳森·海勒巴特,朱利安·贝基,伊夫·克莱门特:
将集成嵌入式软件中的CPU时间短缺风险降至最低。 529-539
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/NardoABFNM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NardoABFNM13
丹尼尔·迪·纳尔多,纳迪娅·阿尔沙旺,莱昂内尔·布赖恩,伊丽莎白·福内雷特,托米斯拉夫·纳基奇·阿尔菲雷维奇,文森特·马斯奎利埃:
数据采集系统的基于模型的测试验证和预言。 540-550
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/DhunganaTWW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/DhunganaTWW13
Deepak Dhungana公司,清胡汤,克里斯托夫·魏登巴赫,帕特里克·维什内夫斯基:
基于规则的交互式配置系统的自动验证。 551-561

新想法跟踪

新想法：适应和转变

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/WongYT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/WongYT13
埃德蒙·王,杨金秋,林丹:
自动评论：挖掘问答站点以自动生成评论。 562-567
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/GhaisasMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/GhaisasMA13
斯米塔·盖萨斯,曼尼什·莫特瓦尼,普雷图·罗斯·阿尼什:
从文档中检测系统用例和验证。 568-573
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Garcia-GalanTC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Garcia-GalanTC13
杰苏斯·加西亚·加兰,巴勃罗·特立尼达,安东尼奥·鲁伊斯·科尔特斯:
多用户可变性配置：一种博弈论方法。 574-579
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SannierAB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SannierAB13
尼古拉斯·桑尼尔,马修·阿切尔,Benoit Baudry公司:
从比较矩阵到变异性模型：维基百科案例研究。 580-585
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/DietrichCS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/DietrichCS13
蒂莫西·迪特里希,简·克莱兰德·黄,永和信:
学习有效的查询转换以增强需求跟踪检索。 586-591
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/XuYMCL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/XuYMCL13
常旭,杨文华,马晓星,春操,陆健:
环境再匹配：为自适应应用程序提高可靠性。 592-597
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/持有者SDT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HolderSDT13
伊桑霍尔德,伊珊·沙阿,穆罕默德·达沃迪,埃利·蒂列维奇:
Cloud Twin：在Windows Phone上本地执行android应用程序。 598-603
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/KifetewJTOT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KifetewJTOT13
菲萨姆·梅舍沙·基菲特夫（Fitsum Meshesha Kifetew）,魏晋,罗伯托·蒂埃拉,亚历山德罗·奥索,保罗·托内拉:
SBFR：一种基于搜索的方法，用基于语法的输入再现程序的失败。 604-609

新想法：测试和调试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MirshokraieMP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MirshokraieMP13
Shabnam Mirshokraie公司,阿里·梅斯巴,卡提克·帕塔比拉曼:
PYTHIA：为JavaScript应用程序生成带有oracles的测试用例。 610-615
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/KukrejaHT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KukrejaHT13
努普尔·库克雷加,威廉·G·J·哈尔丰德,米林德·坦贝:
使用博弈论进行随机回归测试。 616-621
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/NguyenT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/NguyenT13网址
Duy Cu Nguyen公司,保罗·托内拉:
组合测试分类和依赖性的自动推断。 622-627
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SouzaC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SouzaC13
Higor Amario de Souza公司,马科斯·洛德洛·查姆:
使用集成覆盖将上下文添加到故障定位。 628-633
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SagdeoEPV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SagdeoEPV13网站
帕斯·萨迪奥,尼古拉斯·埃沃特,Debjit Pal公司,肖巴·瓦苏德万:
使用自动生成的不变量进行回归测试和错误定位。 634-639
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ScannielloGMM13接口
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ScannielloGMM13网站
朱塞佩·斯坎尼略,卡米娜·格拉维诺,安德里安·马库斯,蒂姆·孟席斯:
使用软件聚类进行类级故障预测。 640-645
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MoritzVPGMG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MoritzVPGMG13
埃文·莫里茨,马里奥·利纳雷斯·Vásquez,丹尼斯·波西瓦尼克,马克·格雷切尼克,科林·麦克米兰,马尔科姆·盖瑟斯:
ExPort：检测并可视化大型源代码存储库中的API用法。 646-651
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/HolavanalliMNRSKZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/HolavanalliMNRSKZ13
沙申克·霍拉瓦纳利,唐曼纽尔酒店,维什瓦斯·南君达斯瓦米,布莱恩·罗森博格,冯申,史蒂文·科伊（Steven Y.Ko）,卢卡斯·齐亚雷克:
Android的流权限。 652-657

新想法：模型和要求

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/RegerBR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RegerBR13
贾尔斯·雷格尔,霍华德·巴林格,大卫·E·瑞德海尔:
一种基于模式的参数化规范挖掘方法。 658-663
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/WuestSG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/WuestSG13
达斯汀·维斯特,诺伯特·塞夫,马丁·格林兹:
从模型草图半自动生成元模型。 664-669
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/VeerappaH13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/VeerappaH13网址
瓦尔沙·维拉帕,瑞秋·哈丽森:
通过论证评估需求的成熟度：一种足够好的方法。 670-675
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/AnnervazKSS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/AnnervazKSS13
K.M.Annervaz公司,维克兰·考古德（Vikrant S.Kaulgud）,Shubhashis森古普塔,米林·萨瓦冈卡尔:
基于业务领域模型的自然语言需求质量分析。 676-681
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/朝圣UTS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/PirgrimUTS13
Jens von朝圣者,巴斯蒂安·乌尔克,安德烈亚斯·蒂斯,弗里德里希·斯特曼:
模型/代码协同重构：MDE方法。 682-687
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/SaadaHNS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/SaadaHNS13
哈杰尔·萨达,玛丽安·胡查德,克莱门汀·内布特,Houari A.Sahraoui公司:
使用多目标优化恢复模型转换轨迹。 688-693

工具演示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MacedoGC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MacedoGC13
努诺·马塞多,蒂亚戈·吉马朗斯,阿尔西诺库尼亚:
使用Echo进行模型修复和转换。 694-697
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ChetriCVK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ChetriCVK13网址
莫汉·巴鲁瓦尔·切特里,谢尔盖·奇钦,Quoc Bao Vo公司,Ryszard Kowalczyk公司:
智能云代理：在云中找到你的家。 698-701
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/CimattiDT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/CimattiDT13
亚历山德罗·西马蒂,米歇尔·多里加蒂,斯特凡诺·托内塔:
OCRA：一种用于检查临时合同细化情况的工具。 702-705
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/FalkeMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/FalkeMS13
斯蒂芬·福克,弗洛里安·默兹,卡斯滕·辛兹:
有界模型检查器LLBMC。 706-709
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/0002IP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/0002IP13
伯恩德·菲舍尔,奥马尔·因弗索,Gennaro Parlato公司:
CSeq：用于顺序C验证工具的并发预处理器。 710-713
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/GambiHD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/GambiHD13
阿莱西奥·甘比,Waldemar悍马,Schahram Dustdar公司:
使用AUToCLES自动测试基于云的弹性系统。 714-717
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/AvazpourGG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/AvazpourGG13
伊曼·阿瓦兹波尔,约翰·格兰迪,拉尔斯·格伦斯克:
使用具体可视化实现自动模型转换规范的工具支持。 718-721
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/KusanoW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/KusanoW13
马库斯·库萨诺,王超（Chao Wang）:
CCmutator：多线程C/C++应用程序中并发构造的变异生成器。 722-725
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ScheferDS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ScheferDS13
克里斯托弗·谢弗,贤秀道,布莱恩·斯莱特:
Crushinator：一个面向游戏依赖性测试的框架。 726-729
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/TillmannHXB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/TillmannHXB13
尼古拉·蒂尔曼,乔纳森·德哈勒克斯,陶雪,朱迪思·毕晓普:
Pex4Fun：通过自动生成测试，为教育游戏提供基于网络的环境。 730-733
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/CalinescuJR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/CalinescuJR13
Radu Calinescu公司,肯尼思·约翰逊,亚斯敏·拉菲克:
开发基于服务的自我验证系统。 734-737
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/LetsholoZC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LetsholoZC13
凯莱特索·莱索洛,赵丽萍,埃罗·瓦列里奥·乔瓦斯卡（Erol-Valeriu Chioasca）:
TRAM：将文本需求转换为分析模型的工具。 738-741
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/AroraZRYJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/AroraZRYJ13
尼普·阿罗拉,张慧（音）,李荣焕,吉贺贤治,蒋国飞:
iProbe：轻量级用户级动态检测工具。 742-745

博士生论坛

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Fard13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Fard13
法特梅赫·亨迪亚尼·法德（Fatemeh Hendijani Fard）:
使用消息内容无关的方法检测和修复分布式软件系统中的紧急行为。 746-749
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Demasi13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Demasi13
拉米罗·德马西:
根据道义逻辑规范合成容错程序。 750-753
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Servant配置文件13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Servant13
弗朗西斯科仆人:
支持使用历史分析进行错误调查。 754-757
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Lin13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Lin13
Jun Lin（林军）:
分布式敏捷团队的上下文任务分配。 758-761
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Mirakhorli13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Mirakhorli13
迈赫迪·米拉霍利:
通过战略实施、保存和可视化防止架构策略的侵蚀。 762-765

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。