掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
1.
Combining search-based and constraint-based testing
机译:
组合搜索和约束基于约束的测试
作者:
Malburg Jan
;
Fraser Gordon
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
2.
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;
3.
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;
4.
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;
5.
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;
6.
JPF-AWT: Model checking GUI applications
机译:
JPF-AWT:模型检查GUI应用程序
作者:
Mehlitz Peter
;
Tkachuk Oksana
;
Ujma Mateusz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
7.
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;
8.
Wikipedia and how to use it for semantic document representation
机译:
维基百科以及如何用于语义文档表示
作者:
Witten Ian H.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
9.
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;
10.
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;
11.
Ecological inference in empirical software engineering
机译:
实证软件工程中的生态推断
作者:
Posnett Daryl
;
Filkov Vladimir
;
Devanbu Premkumar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
12.
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年
13.
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年
14.
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;
15.
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;
16.
Isomorphism in model tools and editors
机译:
模型工具和编辑中的同构
作者:
Edwards George
;
Brun Yuriy
;
Medvidovic Nenad
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
17.
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年
18.
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年
19.
Analyzing temporal properties of abstract models
机译:
分析抽象模型的时间特性
作者:
Vakili Amirhossein
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
20.
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;
21.
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年
22.
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;
23.
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;
24.
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年
25.
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;
26.
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;
27.
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年
28.
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年
29.
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;
30.
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年
31.
Inferred dependence coverage to support fault contextualization
机译:
推断依赖覆盖率支持故障上下文化
作者:
Fang Deng
;
Jones James A.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
32.
Generating program inputs for database application testing
机译:
生成数据库应用程序测试的程序输入
作者:
Pan Kai
;
Wu Xintao
;
Xie Tao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
33.
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年
34.
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;
35.
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;
36.
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;
37.
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;
38.
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年
39.
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;
40.
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;
41.
Using Formal Concept Analysis to support change analysis
机译:
使用正式概念分析来支持变更分析
作者:
Sun Xiaobing
;
Li Bixin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
42.
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年
43.
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;
44.
Unifying testing and analysis through behavioral coverage
机译:
通过行为覆盖统一测试和分析
作者:
Dwyer Matthew B.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
45.
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;
46.
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年
47.
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年
48.
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年
49.
Search-based fault localization
机译:
搜索基于故障定位
作者:
Shaowei Wang
;
Lo David
;
Jiang Lingxiao
;
Lucia
;
Lau Hoong Chuin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
50.
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年
51.
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;
52.
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;
53.
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;
54.
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;
55.
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年
56.
History slicing
机译:
历史切片
作者:
Servant Francisco
;
Jones James A.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
57.
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年
58.
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年
59.
An optimal strategy for algorithmic debugging
机译:
算法调试的最佳策略
作者:
Insa David
;
Silva Josep
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
关键词:
Algorithmic Debugging;
Divide and Query;
60.
Specifying and detecting meaningful changes in programs
机译:
指定和检测程序的有意义变化
作者:
Yu Yijun
;
Tun Thein Than
;
Nuseibeh Bashar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2011年
61.
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;
62.
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;
63.
JFlow: Practical refactorings for flow-based parallelism
机译:
JFlow:基于流行的并行的实用重构
作者:
Chen Nicholas
;
Johnson Ralph E.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
64.
SBFR: A search based approach for reproducing failures of programs with grammar based input
机译:
SBFR:一种基于搜索的基于语法输入的程序复制故障的方法
作者:
Kifetew Fitsum Meshesha
;
Jin Wei
;
Tiella Roberto
;
Orso Alessandro
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
65.
Cloud Twin: Native execution of android applications on the Windows Phone
机译:
云双胞胎:在Windows手机上的Android应用程序的本机执行
作者:
Holder Ethan
;
Shah Eeshan
;
Davoodi Mohammed
;
Tilevich Eli
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
66.
Detecting and characterizing semantic inconsistencies in ported code
机译:
检测和表征移植代码中的语义不一致
作者:
Ray Baishakhi
;
Kim Miryung
;
Person Suzette
;
Rungta Neha
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
67.
Software analytics for incident management of online services: An experience report
机译:
在线服务事件管理的软件分析:经验报告
作者:
Lou Jian-Guang
;
Lin Qingwei
;
Ding Rui
;
Fu Qiang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Online service;
incident management;
service incident diagnosis;
68.
Crushinator: A framework towards game-independent testing
机译:
crushinator:一个独立于游戏的框架
作者:
Schaefer Christopher
;
Hyunsook Do
;
Slator Brian M.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Crushinator;
event-driven applications;
exploratory testing;
model-based testing;
69.
SABRINE: State-based robustness testing of operating systems
机译:
SABRINE:操作系统的国家鲁棒测试
作者:
Cotroneo Domenico
;
Di Leo Domenico
;
Fucci Francesco
;
Natella Roberto
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Dependability Benchmarking;
Fault Injection;
Fault Tolerance;
Linux kernel;
Operating Systems;
Robustness Testing;
70.
BLITZ: Compositional bounded model checking for real-world programs
机译:
Blitz:现实计划的组成有限模型检查
作者:
Cho Chia Yuan
;
DSilva Vijay
;
Song Dawn
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
71.
Mining branching-time scenarios
机译:
采矿分支时间场景
作者:
Fahland Dirk
;
Lo David
;
Maoz Shahar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
72.
Detecting bad smells in source code using change history information
机译:
使用更改历史信息检测源代码中的不良气味
作者:
Palomba Fabio
;
Bavota Gabriele
;
Di Penta Massimiliano
;
Oliveto Rocco
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Change History Information;
Code Smells;
73.
Testing properties of dataflow program operators
机译:
测试数据流程程序运算符的属性
作者:
Xu Zhihong
;
Hirzel Martin
;
Rothermel Gregg
;
Wu Kun-Lung
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
74.
Smart Cloud Broker: Finding your home in the clouds
机译:
智能云经纪人:在云中找到您的家
作者:
Baruwal Chhetri Mohan
;
Chichin Sergei
;
Bao Vo Quoc
;
Kowalczyk Ryszard
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
75.
Model based test validation and oracles for data acquisition systems
机译:
基于模型的数据采集系统的测试验证和oracelles
作者:
Di Nardo Daniel
;
Alshahwan Nadia
;
Briand Lionel C.
;
Fourneret Elizabeta
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
76.
Dynamically transforming data structures
机译:
动态转换数据结构
作者:
Osterlund Erik
;
Lowe Welf
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
77.
Automated unit testing of large industrial embedded software using concolic testing
机译:
使用CONEGOLIC测试的大型工业嵌入式软件的自动单元测试
作者:
Kim Yunho
;
Kim Youil
;
Taeksu Kim
;
Gunwoo Lee
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
78.
Variability-aware performance prediction: A statistical learning approach
机译:
可变性感知性能预测:统计学习方法
作者:
Guo Jianmei
;
Czarnecki Krzysztof
;
Apel Sven
;
Siegmund Norbert
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
79.
Recovering model transformation traces using multi-objective optimization
机译:
使用多目标优化恢复模型转换痕迹
作者:
Saada Hajer
;
Huchard Marianne
;
Nebut Clementine
;
Sahraoui Houari
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
80.
Automated testing of cloud-based elastic systems with AUToCLES
机译:
自动测试自动荷载基于云的弹性系统
作者:
Gambi Alessio
;
Hummer Waldemar
;
Dustdar Schahram
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
81.
Automatically synthesizing SQL queries from input-output examples
机译:
从输入输出示例自动扫描SQL查询
作者:
Zhang Sai
;
Sun Yuyin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
82.
Efficient parametric runtime verification with deterministic string rewriting
机译:
具有确定性字符串重写的高效参数运行时验证
作者:
Meredith Patrick
;
Rosu Grigore
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Monitoring;
Runtime Verification;
String Rewriting;
83.
Tool support for automatic model transformation specification using concrete visualisations
机译:
使用混凝土可视化实现自动模型变换规范的工具支持
作者:
Avazpour Iman
;
Grundy John
;
Grunske Lars
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
84.
Minimizing CPU time shortage risks in integrated embedded software
机译:
最小化集成嵌入式软件中的CPU时间短缺风险
作者:
Nejati Shiva
;
Adedjouma Morayo
;
Briand Lionel C.
;
Hellebaut Jonathan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
85.
Developing self-verifying service-based systems
机译:
开发自验证基于服务的系统
作者:
Calinescu Radu
;
Johnson Kenneth
;
Rafiq Yasmin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
86.
TzuYu: Learning stateful typestates
机译:
Tzuyu:学习有状态的Typestates
作者:
Xiao Hao
;
Sun Jun
;
Liu Yang
;
Lin Shang-Wei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
87.
Automated verification of pattern-based interaction invariants in Ajax applications
机译:
自动验证Ajax应用程序中基于模式的互动不变
作者:
Maezawa Yuta
;
Washizaki Hironori
;
Tanabe Yoshinori
;
Honiden Shinichi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Ajax;
Design Pattern;
Model Checking;
Reverse Engineering;
88.
OCRA: A tool for checking the refinement of temporal contracts
机译:
OCRA:用于检查时间合约的细化的工具
作者:
Cimatti Alessandro
;
Dorigatti Michele
;
Tonetta Stefano
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
89.
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method
机译:
使用消息内容独立方法检测和修复分布式软件系统中的紧急行为
作者:
Hendijani Fard Fatemeh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Emergent behavior;
distributed software system;
multiagent system;
90.
Semi-automatic generation of metamodels from model sketches
机译:
模型草图的半自动生成元形元素
作者:
Wuest Dustin
;
Seyff Norbert
;
Glinz Martin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Sketch;
end-user;
inference;
metamodel;
model;
semiautomated;
91.
Automatically partition software into least privilege components using dynamic data dependency analysis
机译:
使用动态数据依赖性分析自动分区软件到最小特权组件中
作者:
Wu Yongzheng
;
Sun Jun
;
Liu Yang
;
Dong Jin Song
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
92.
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications
机译:
CCutor:多线程C / C ++应用中的并发构造的突变发生器
作者:
Kusano Markus
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
93.
Characteristic studies of loop problems for structural test generation via symbolic execution
机译:
符号执行结构试验生成循环问题的特征研究
作者:
Xiao Xusheng
;
Li Sihan
;
Xie Tao
;
Tillmann Nikolai
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
94.
Characterizing and detecting resource leaks in Android applications
机译:
在Android应用程序中表征和检测资源泄漏
作者:
Guo Chaorong
;
Zhang Jian
;
Yan Jun
;
Zhang Zhiqiang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Android apps;
resource leak;
static analysis;
95.
A comparative analysis of software architecture recovery techniques
机译:
软件架构恢复技术的比较分析
作者:
Garcia Joshua
;
Ivkovic Igor
;
Medvidovic Nenad
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
96.
Model repair and transformation with Echo
机译:
用回声修复和转换
作者:
Macedo Nuno
;
Guimaraes Tiago
;
Cunha Alcino
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
97.
Bita: Coverage-guided, automatic testing of actor programs
机译:
Bita:覆盖引导,actor程序的自动测试
作者:
Tasharofi Samira
;
Pradel Michael
;
Lin Yu
;
Johnson Ralph
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
98.
Supporting bug investigation using history analysis
机译:
支持使用历史分析的错误调查
作者:
Servant Francisco
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
99.
iProbe: A lightweight user-level dynamic instrumentation tool
机译:
iProbe:轻量级用户级动态仪表工具
作者:
Arora Nipun
;
Hui Zhang
;
Junghwan Rhee
;
Yoshihira Kenji
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Hotpatching;
Low-Overhead;
Monitoring;
Production Systems;
Tracing;
100.
A study of repetitiveness of code changes in software evolution
机译:
软件演化中代码变化重复性的研究
作者:
Nguyen Hoan Anh
;
Nguyen Anh Tuan
;
Nguyen Tung Thanh
;
Nguyen Tien N.
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2013年
关键词:
Repetitive Code Changes;
Software Evolution;
意见反馈
回到顶部
回到首页