掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE/ACM International Conference on Automated Software Engineering
IEEE/ACM International Conference on Automated Software Engineering
召开年:
2012
召开地:
Essen(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
1176
条结果
1.
Proximity based weighting of test cases to improve spectrum based fault localization
机译:
基于测试用例的基于接近的权重,提高基于频谱的故障定位
作者:
Bandyopadhyay Aritra
;
Ghosh Sudipto
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
fault localization;
proximity of test cases;
weighting test cases;
2.
CloneDifferentiator: Analyzing clones by differentiation
机译:
Clonedifferentiator:通过差异分析克隆
作者:
Xing Zhenchang
;
Xue Yinxing
;
Jarzabek Stan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Clone analysis;
Graph differencing;
Program dependence graph;
3.
Evaluating test selection strategies for end-user specified flow-based applications
机译:
评估最终用户指定基于流的应用程序的测试选择策略
作者:
Winbladh Kristina
;
Ranganathan Anand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Component Reuse;
Coverage Criteria Evaluation;
End-user programming;
Specification-based testing;
4.
Statistical debugging with elastic predicates
机译:
用弹性谓词进行统计调试
作者:
Gore Ross
;
Reynolds Paul F.
;
Kamensky David
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
automated debugging;
fault localization;
5.
APIExample: An effective web search based usage example recommendation system for java APIs
机译:
APIEXAMPLE:Java API的基于有效的基于Web搜索的使用示例示例推荐系统
作者:
Lijie Wang
;
Lu Fang
;
Leye Wang
;
Ge Li
;
Bing Xie
;
Fuqing Yang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
API;
recommendation;
usage example;
web search;
6.
Coverage rewarded: Test input generation via adaptation-based programming
机译:
覆盖范围奖励:通过基于适应的编程测试输入生成
作者:
Groce Alex
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
reinforcement learning;
software testing;
7.
Generating realistic test models for model processing tools
机译:
为模型处理工具生成现实测试模型
作者:
Pietsch Pit
;
Yazdi Hamed Shariat
;
Kelter Udo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Generating Synthetic Models;
Model-based Testing;
Tools for Model-based Development;
8.
Precomputing possible configuration error diagnoses
机译:
预先计算可能的配置错误诊断
作者:
Rabkin Ariel
;
Katz Randy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
9.
Formalizing hardware/software interface specifications
机译:
正式化硬件/软件接口规范
作者:
Li Juncao
;
Xie Fei
;
Ball Thomas
;
Levin Vladimir
;
McGarvey Con
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
10.
Auto-locating and fix-propagating for HTML validation errors to PHP server-side code
机译:
自动定位和修复传播到HTML验证错误到PHP服务器端代码
作者:
Nguyen Hung Viet
;
Nguyen Hoan Anh
;
Nguyen Tung Thanh
;
Nguyen Tien N.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Bug Localization;
Fix Propagation;
PHP Dynamic Web Applications;
Validation Errors;
11.
Automatic generation of load tests
机译:
自动生成负载测试
作者:
Zhang Pingyu
;
Elbaum Sebastian
;
Dwyer Matthew B.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Load testing;
symbolic execution;
12.
The CORE system: Animation and functional correctness of pointer programs
机译:
核心系统:指针程序的动画和功能正确性
作者:
Maclean Ewen
;
Ireland Andrew
;
Grov Gudmund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
animation;
automatic verification;
pointer programs;
proof planning;
separation logic;
13.
Scalable and precise symbolic analysis for atomicity violations
机译:
可扩展和精确的象征性违规分析
作者:
Ganai Malay K.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
14.
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
机译:
缩放自动测试生成:自动生成程序的可维护回归单元测试
作者:
Robinson Brian
;
Ernst Michael D.
;
Perkins Jeff H.
;
Augustine Vinay
;
Li Nuo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
15.
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions
机译:
通过SAT和SMT解决Boolean表达式的自动测试生成
作者:
Arcaini Paolo
;
Gargantini Angelo
;
Riccobene Elvinia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
16.
Taming changes With 1.x-Way architecture-implementation mapping
机译:
驯服更改为1.x-方式架构 - 实现映射
作者:
Yongjie Zheng
;
Taylor Richard N.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
consistency management;
software architecture;
17.
Stateful testing: Finding more errors in code and contracts
机译:
有状态测试:在代码和合同中找到更多错误
作者:
Wei Yi
;
Roth Hannes
;
Furia Carlo A.
;
Pei Yu
;
Horton Alexander
;
Steindorfer Michael
;
Nordio Martin
;
Meyer Bertrand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
automation;
dynamic analysis;
random testing;
18.
Fault-localization using dynamic slicing and change impact analysis
机译:
使用动态切片和变更影响分析故障定位
作者:
Alves Elton
;
Gligoric Milos
;
Jagannath Vilas
;
dAmorim Marcelo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
19.
A rule-based approach to the semantic lifting of model differences in the context of model versioning
机译:
基于规则的模型差异在模型版本控制上的模型差异的方法
作者:
Kehrer Timo
;
Kelter Udo
;
Taentzer Gabriele
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
20.
Safe asynchronous multicore memory operations
机译:
安全异步多核内存操作
作者:
Botincan Matko
;
Dodds Mike
;
Donaldson Alastair F.
;
Parkinson Matthew J.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Abstract interpretation;
Automated theorem proving;
Concurrent programs;
Software verification;
21.
A model checking framework for hierarchical systems
机译:
分层系统的模型检查框架
作者:
Nguyen Truong Khanh
;
Sun Jun
;
Liu Yang
;
Dong Jin Song
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
22.
TestEra: A tool for testing Java programs using alloy specifications
机译:
Testera:使用合金规格测试Java程序的工具
作者:
Khalek Shadi Abdul
;
Guowei Yang
;
Lingming Zhang
;
Marinov Darko
;
Khurshid Sarfraz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
23.
Deviation management during process execution
机译:
流程执行期间的偏差管理
作者:
da Silva Marcos Aurelio Almeida
;
Blanc Xavier
;
Bendraou Reda
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
24.
Enhancing architectural recovery using concerns
机译:
使用担忧提高建筑恢复
作者:
Garcia Joshua
;
Popescu Daniel
;
Mattmann Chris
;
Medvidovic Nenad
;
Yuanfang Cai
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
25.
Differential precondition checking: A lightweight, reusable analysis for refactoring tools
机译:
差分预处理检查:重量,重构工具的重量可重复使用分析
作者:
Overbey Jeffrey L.
;
Johnson Ralph E.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
program representation;
refactoring;
26.
Finding relevant answers in software forums
机译:
在软件论坛中查找相关答案
作者:
Gottipati Swapna
;
Lo David
;
Jing Jiang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
27.
Towards dynamic backward slicing of model transformations
机译:
朝着模型转换的动态向后切片
作者:
Ujhelyi Zoltan
;
Horvath Akos
;
Varro Daniel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Model transformations;
Program slicing;
28.
Generating essential user interface prototypes to validate requirements
机译:
生成基本用户界面原型以验证要求
作者:
Kamalrudin Massila
;
Grundy John
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
rapid prototyping;
requirements validation;
29.
Identifying future field accesses in exhaustive state space traversal
机译:
识别以彻底的状态空间遍历中的未来现场访问
作者:
Parizek Pavel
;
Paramp
;
#x00ED
;
zek Pavel
;
Lhotak Ondrej
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Java PathFinder;
WALA;
concurrency;
exhaustive state space traversal;
field accesses;
state explosion;
30.
Slicing feature models
机译:
切片功能模型
作者:
Acher Mathieu
;
Collet Philippe
;
Lahire Philippe
;
France Robert B.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Feature Models;
Slicing;
Software Product Lines;
31.
Automated documentation inference to explain failed tests
机译:
自动文档推理解释失败的测试
作者:
Sai Zhang
;
Cheng Zhang
;
Ernst Michael D.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
32.
Heap cloning: Enabling dynamic symbolic execution of java programs
机译:
堆克隆:启用动态符号执行Java程序
作者:
Anand Saswat
;
Harrold Mary Jean
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
33.
Combining search-based and constraint-based testing
机译:
组合搜索和约束基于约束的测试
作者:
Malburg Jan
;
Fraser Gordon
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
34.
Client-side web application slicing
机译:
客户端Web应用程序切片
作者:
Maras Josip
;
Carlson Jan
;
Crnkovic Ivica
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
JavaScript;
code reuse;
dynamic program slicing;
web application;
35.
AutoODC: Automated generation of Orthogonal Defect Classifications
机译:
Autoodc:自动生成正交缺陷分类
作者:
LiGuo Huang
;
Ng Vincent
;
Persing Isaac
;
Ruili Geng
;
Xu Bai
;
Jeff Tian
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Orthogonal Defect Classification (ODC);
natural language processing;
text classification;
36.
Tracing requirements to tests with high precision and recall
机译:
追踪高精度和召回测试的要求
作者:
Ziftci Celal
;
Krueger Ingolf
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
automated analysis;
program understanding;
requirements traceability;
testing;
37.
Automatically detecting the quality of the query and its implications in IR-based concept location
机译:
自动检测查询的质量及其在基于IR的概念位置的影响
作者:
Haiduc Sonia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
concept location;
information retrieval;
program comprehension;
query;
search;
source code;
38.
JPF-AWT: Model checking GUI applications
机译:
JPF-AWT:模型检查GUI应用程序
作者:
Mehlitz Peter
;
Tkachuk Oksana
;
Ujma Mateusz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
39.
Using model-based assurance to strengthen diagnostic procedures
机译:
利用基于模型的保证来加强诊断程序
作者:
Lutz Robyn
;
Johnson Jeremy
;
Patterson-Hine Ann
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
automated analysis;
diagnostic procedures;
model-based;
trouble-shooting;
40.
Wikipedia and how to use it for semantic document representation
机译:
维基百科以及如何用于语义文档表示
作者:
Witten Ian H.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
41.
jCT: A Java Code Tomograph
机译:
JCT:Java代码Tomograph
作者:
Lumpe Markus
;
Mahmud Samiran
;
Goloshchapova Olga
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Data mining;
Reasoning about programs;
Software metrics;
42.
Towards requirements aware systems: Run-time resolution of design-time assumptions
机译:
迈向需求意识系统:设计时假设的运行时间分辨率
作者:
Welsh Kristopher
;
Sawyer Pete
;
Bencomo Nelly
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
claims;
goals;
requirements awareness;
self adaptive systems;
43.
Ecological inference in empirical software engineering
机译:
实证软件工程中的生态推断
作者:
Posnett Daryl
;
Filkov Vladimir
;
Devanbu Premkumar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
44.
Prioritizing tests for fault localization through ambiguity group reduction
机译:
通过歧义组减少对故障定位的测试优先考虑
作者:
Gonzalez-Sanchez Alberto
;
Abreu Rui
;
Gross Hans-Gerhard
;
van Gemund Arjan J.C.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
45.
Diagnosis of software failures using computational geometry
机译:
使用计算几何诊断软件故障
作者:
Stehle Edward
;
Lynch Kevin
;
Shevertalov Maxim
;
Rorres Chris
;
Mancoridis Spiros
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
46.
A topic-based approach for narrowing the search space of buggy files from a bug report
机译:
一种基于主题的方法,用于从错误报告中缩小错误文件的搜索空间
作者:
Nguyen Anh Tuan
;
Nguyen Tung Thanh
;
Al-Kofahi Jafar
;
Nguyen Hung Viet
;
Nguyen Tien N.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Defect Localization;
Topic Modeling;
47.
Improving source code search with natural language phrasal representations of method signatures
机译:
使用方法签名的自然语言短语表示,改进源代码搜索
作者:
Hill Emily
;
Pollock Lori
;
Vijay-Shanker K.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
code search;
concern location;
software maintenance;
48.
Isomorphism in model tools and editors
机译:
模型工具和编辑中的同构
作者:
Edwards George
;
Brun Yuriy
;
Medvidovic Nenad
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
49.
Towards more accurate retrieval of duplicate bug reports
机译:
更准确地检索重复的错误报告
作者:
Sun Chengnian
;
Lo David
;
Khoo Siau-Cheng
;
Jiang Jing
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
50.
BEST: A symbolic testing tool for predicting multi-threaded program failures
机译:
最佳:用于预测多线程程序故障的符号测试工具
作者:
Ganai Malay K.
;
Arora Nipun
;
Wang Chao
;
Gupta Aarti
;
Balakrishnan Gogul
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
51.
Analyzing temporal properties of abstract models
机译:
分析抽象模型的时间特性
作者:
Vakili Amirhossein
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
52.
A framework for managing uncertainty in self-adaptive software systems
机译:
管理自适应软件系统中不确定性的框架
作者:
Esfahani Naeem
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
self-adaptation;
software architecture;
uncertainty;
53.
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler
机译:
专业:Java编译器中的突变分析有效和可扩展工具
作者:
Just Rene
;
Schweiggert Franz
;
Kapfhammer Gregory M.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
54.
Flexible design pattern detection based on feature types
机译:
灵活的设计模式检测基于特征类型
作者:
Rasool Ghulam
;
Mader Patrick
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Code Analysis;
Design Pattern Recognition;
Feature-Based Pattern Recognition;
Pattern Definition;
Pattern Detection;
Program Comprehension;
Regular Expressions;
55.
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
机译:
自适应软件符合控制理论:支持可靠性要求的初步方法
作者:
Filieri Antonio
;
Ghezzi Carlo
;
Leva Alberto
;
Maggio Martina
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Adaptive software;
control theory;
dynamic systems;
non-functional requirements;
reliability;
run-time verification;
56.
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
机译:
地段:用于开发良好的双向模型转换的综合框架
作者:
Hidaka Soichiro
;
Hu Zhenjiang
;
Inaba Kazuhiro
;
Kato Hiroyuki
;
Nakano Keisuke
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
57.
Code-based automated program fixing
机译:
基于代码的自动化程序修复
作者:
Pei Yu
;
Wei Yi
;
Furia Carlo A.
;
Nordio Martin
;
Meyer Bertrand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
automated debugging and fixing;
program synthesis;
58.
Improving automated documentation to code traceability by combining retrieval techniques
机译:
通过组合检索技术将自动文档改进为代码可追溯性
作者:
Xiaofan Chen
;
Grundy John
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Clustering;
Key Phrases;
Regular Expression;
Traceability;
Vector Space Model;
59.
Extracting structured data from natural language documents with island parsing
机译:
用岛屿解析从自然语言文档中提取结构化数据
作者:
Bacchelli Alberto
;
Cleve Anthony
;
Lanza Michele
;
Mocci Andrea
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
60.
Supporting domain-specific state space reductions through local partial-order reduction
机译:
通过当地部分顺序减少支持特定于域的状态空间空间
作者:
Bokor Peter
;
Kinder Johannes
;
Serafini Marco
;
Suri Neeraj
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
61.
Guided test visualization: Making sense of errors in concurrent programs
机译:
导向测试可视化:在并发程序中呈现错误
作者:
Wesonga Saint
;
Mercer Eric G
;
Rungta Neha
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Model checking;
concurrency;
debug;
test;
62.
Automating analysis of qualitative preferences in goal-oriented requirements engineering
机译:
目标导向要求工程中的定性偏好自动分析
作者:
Oster Zachary J.
;
Santhanam Ganesh Ram
;
Basu Samik
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
63.
Inferred dependence coverage to support fault contextualization
机译:
推断依赖覆盖率支持故障上下文化
作者:
Fang Deng
;
Jones James A.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
64.
Generating program inputs for database application testing
机译:
生成数据库应用程序测试的程序输入
作者:
Pan Kai
;
Wu Xintao
;
Xie Tao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
65.
Mixed constraints for test input generation - An initial exploration
机译:
测试输入生成的混合约束 - 初始探索
作者:
Khalek Shadi Abdul
;
Narayanan Vidya Priyadarshini
;
Khurshid Sarfraz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
66.
Automatic assessment of software documentation quality
机译:
软件文档质量自动评估
作者:
Dautovic Andreas
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
continuous quality monitoring;
quality model;
software documentation;
tool-based approach;
67.
A model-driven framework for guided design space exploration
机译:
一种用于导向设计空间探索的模型驱动框架
作者:
Hegedus Abel
;
Horvath Akos
;
Rath Istvan
;
Varro Daniel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
design space exploration;
model transformation;
68.
Generalizing evolutionary coupling with stochastic dependencies
机译:
概括与随机依赖性的进化耦合
作者:
Wong Sunny
;
Cai Yuanfang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Markov chain;
evolutionary coupling;
impact analysis;
stochastic dependency;
69.
Automated planning for feature model configuration based on stakeholders' business concerns
机译:
基于利益相关者业务问题的特征模型配置自动规划
作者:
Soltani Samaneh
;
Asadi Mohsen
;
Hatala Marek
;
Gasevic Dragan
;
Bagheri Ebrahim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Artificial Intelligence;
Configuration;
Feature Model;
70.
Automated extraction of architecture-level performance models of distributed component-based systems
机译:
自动提取分布式基于组件的系统建筑级性能模型的自动提取
作者:
Brosig Fabian
;
Huber Nikolaus
;
Kounev Samuel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
71.
Software process evaluation: A machine learning approach
机译:
软件过程评估:机器学习方法
作者:
Chen Ning
;
Hoi Steven C. H.
;
Xiao Xiaokui
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
defect management process;
machine learning;
sequence classification;
software process;
72.
Iterative mining of resource-releasing specifications
机译:
迭代挖掘资源释放规范
作者:
Wu Qian
;
Liang Guangtai
;
Wang Qianxiang
;
Xie Tao
;
Mei Hong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
resource leak detection;
resource-releasing specification;
specification mining;
73.
Using Formal Concept Analysis to support change analysis
机译:
使用正式概念分析来支持变更分析
作者:
Sun Xiaobing
;
Li Bixin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
74.
iDiff: Interaction-based program differencing tool
机译:
Idiff:基于交互的程序差异工具
作者:
Hoan Anh Nguyen
;
Tung Thanh Nguyen
;
Hung Viet Nguyen
;
Nguyen Tien N.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
75.
Improving spectrum-based fault localization using proximity-based weighting of test cases
机译:
使用基于频谱的测试用例的权重改进基于频谱的故障定位
作者:
Bandyopadhyay Aritra
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
fault localization;
proximity of test cases;
weighting test cases;
76.
Unifying testing and analysis through behavioral coverage
机译:
通过行为覆盖统一测试和分析
作者:
Dwyer Matthew B.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
77.
Finding the merits and drawbacks of software resources from comments
机译:
从评论中找到软件资源的优点和缺点
作者:
Changsheng Liu
;
Yanzhen Zou
;
Sibo Cai
;
Xie Bing
;
Hong Mei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Sentiment Polarity;
Software Quality;
Software Resource;
Software Reuse;
User Comment;
78.
Capacity planning for event-based systems using automated performance predictions
机译:
使用自动绩效预测的基于事件系统的容量规划
作者:
Rathfelder Christoph
;
Kounev Samuel
;
Evans David
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
79.
Mendel: Source code recommendation based on a genetic metaphor
机译:
Mendel:基于遗传隐喻的源代码建议
作者:
Lozano Angela
;
Kellens Andy
;
Mens Kim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
80.
DC2: A framework for scalable, scope-bounded software verification
机译:
DC2:可扩展,范围有限的软件验证的框架
作者:
Ivancic Franjo
;
Balakrishnan Gogul
;
Gupta Aarti
;
Sankaranarayanan Sriram
;
Maeda Naoto
;
Tokuoka Hiroki
;
Imoto Takashi
;
Miyazaki Yoshiaki
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
81.
Search-based fault localization
机译:
搜索基于故障定位
作者:
Shaowei Wang
;
Lo David
;
Jiang Lingxiao
;
Lucia
;
Lau Hoong Chuin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
82.
Supporting activity based computing paradigm in global software development
机译:
支持全局软件开发中基于Computing PARADIG的活动
作者:
Tell Paolo
;
Ali Babar Muhammad
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
83.
GitBAC: Flexible access control for non-modular concerns
机译:
GITBAC:用于非模块化问题的灵活访问控制
作者:
Robinson Mark
;
Jianwei Niu
;
Shonle Macneil
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Access control;
crosscutting concerns;
development tools;
84.
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
机译:
自动探索动态自适应系统的不确定性如何影响行为
作者:
Ramirez Andres J.
;
Jensen Adam C.
;
Cheng Betty H. C.
;
Knoester David B.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
dynamically adaptive systems;
environmental uncertainty;
evolutionary algorithm;
goal-oriented requirements modeling;
novelty search;
85.
Local vs. global models for effort estimation and defect prediction
机译:
努力估算和缺陷预测的本地与全球模型
作者:
Menzies Tim
;
Butcher Andrew
;
Marcus Andrian
;
Zimmermann Thomas
;
Cok David
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Data mining;
defect/effort estimation;
empirical SE;
validation;
86.
Exploring caching for efficient collection operations
机译:
探索高效收集操作的缓存
作者:
Surapaneni Swetha
;
Nerella Venkata Krishna Suhas
;
Madria Sanjay K
;
Weigert Thomas
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Cache Policy;
Join caching;
Run-time;
Selectivity;
87.
SAUML: A tool for symbolic analysis of UML-RT models
机译:
Sauml:UML-RT模型的符号分析工具
作者:
Zurowska Karolina
;
Dingel Juergen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
88.
History slicing
机译:
历史切片
作者:
Servant Francisco
;
Jones James A.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
89.
An adaptive approach to impact analysis from change requests to source code
机译:
从改变请求到源代码的自适应方法
作者:
Gethers Malcom
;
Kagdi Huzefa
;
Dit Bogdan
;
Poshyvanyk Denys
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
90.
A case for alloy annotations for efficient incremental analysis via domain specific solvers
机译:
通过域特定求解器有效增量分析的合金注释案例
作者:
Ganov Svetoslav
;
Khurshid Sarfraz
;
Perry Dewayne E.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
91.
An optimal strategy for algorithmic debugging
机译:
算法调试的最佳策略
作者:
Insa David
;
Silva Josep
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Algorithmic Debugging;
Divide and Query;
92.
Specifying and detecting meaningful changes in programs
机译:
指定和检测程序的有意义变化
作者:
Yu Yijun
;
Tun Thein Than
;
Nuseibeh Bashar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
93.
A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models
机译:
特征模型自动分析操作的当代算法方法的性能比较
作者:
Pohl Richard
;
Lauenroth Kim
;
Pohl Klaus
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
automated reasoning techniques;
feature model;
performance measurement;
software product line;
94.
Implementing efficient model validation in EMF tools
机译:
在EMF工具中实现有效的模型验证
作者:
Bergmann Gabor
;
Hegedus Abel
;
Horvath Akos
;
Rath Istvan
;
Ujhelyi Zoltan
;
Varro Daniel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
EMF;
incremental evaluation;
model query;
model validation;
95.
Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks
机译:
自动推荐用于务实重用任务的分类决策
作者:
Reid Holmes
;
Tristan Ratchford
;
Martin P. Robillard
;
Robert J. Walker
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2009年
关键词:
Pragmatic software reuse tasks;
Triage decisions;
Recommendation systems;
Structural relevance;
Cost;
Source code analysis;
Retroactive evaluation;
96.
A Linear Programming Approach for Automated Localization of Multiple Faults
机译:
一种用于多个故障自动定位的线性规划方法
作者:
Brian C. Dean
;
William B. Pressly
;
Brian A. Malloy
;
Adam A. Whitley
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2009年
97.
Weaving Context Sensitivity into Test Suite Construction
机译:
将背景敏感性拟合到测试套件施工中
作者:
Huai Wang
;
W. K. Chan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2009年
关键词:
Context diversity;
Software testing;
Context-aware programme;
98.
Mining Health Models for Performance Monitoring of Services
机译:
用于服务的绩效监控的采矿卫生模型
作者:
Mithun Acharya
;
Vamshidhar Kommineni
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2009年
99.
Validating Automotive Control Software using Instrumentation-Based Verification
机译:
使用基于仪器的验证验证汽车控制软件
作者:
Arnab Ray
;
Iris Morschhaeuser
;
Chris Ackermann
;
Rance Cleaveland
;
Charles Shelton
;
Chris Martin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2009年
100.
Adding Examples into Java Documents
机译:
将示例添加到Java文档中
作者:
Jinhan Kim
;
Sanghoon Lee
;
Seung-won Hwang
;
Sunghun Kim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2009年
关键词:
API Documents;
Examples;
Structures;
Code Clustering;
Ranking;
上一页
2
3
4
5
6
7
8
9
10
11
12
下一页
意见反馈
回到顶部
回到首页