掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Towards the automatic classification of traceability links
机译:
朝向可追溯性链路的自动分类
作者:
Chris Mills
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software;
Classification algorithms;
Semantics;
Predictive models;
Measurement;
Tuning;
2.
A Comprehensive Study on Real World Concurrency Bugs in Node.js
机译:
Node.js中真实世界并发错误的全面研究
作者:
Jie Wang
;
Wensheng Dou
;
Yu Gao
;
Chushu Gao
;
Feng Qin
;
Kang Yin
;
Jun Wei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
JavaScript;
Node.js;
event-driven;
concurrency bug;
empirical study;
3.
Privacy-Aware Data-Intensive Applications
机译:
隐私感知数据密集型应用程序
作者:
Michele Guerriero
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Data Privacy;
Data-Intensive Applications;
Big Data;
Dataflow computing;
4.
Predicting Relevance of Change Recommendations
机译:
预测变更建议的相关性
作者:
Thomas Rolfsnes
;
Leon Moonen
;
David Binkley
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
recommendation confidence;
evolutionary coupling;
targeted association rule mining;
random forests;
5.
RuntimeSearch: Ctrl+F for a running program
机译:
RUNTIMESEARCH:用于运行程序的CTRL + F
作者:
Matú? Sulír
;
Jaroslav Porub?n
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Runtime;
Debugging;
Java;
Tools;
Graphical user interfaces;
Instruments;
6.
Quick verification of concurrent programs by iteratively relaxed scheduling
机译:
通过迭代放松的调度来快速验证并发计划
作者:
Patrick Metzler
;
Habib Saissi
;
Péter Bokor
;
Neeraj Suri
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Schedules;
Delays;
Concurrent computing;
Programming;
Model checking;
Software;
7.
Improving missing issue-commit link recovery using positive and unlabeled data
机译:
使用正面和未标记的数据改进缺少的问题 - 提交链接恢复
作者:
Yan Sun
;
Celia Chen
;
Qing Wang
;
Barry Boehm
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Feature extraction;
Indexes;
Metadata;
Training;
Software maintenance;
8.
Mining implicit design templates for actionable code reuse
机译:
用于可操作代码重用的挖掘隐式设计模板
作者:
Yun Lin
;
Guozhu Meng
;
Yinxing Xue
;
Zhenchang Xing
;
Jun Sun
;
Xin Peng
;
Yang Liu
;
Wenyun Zhao
;
Jinsong Dong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Unified modeling language;
Object oriented modeling;
Cloning;
Skeleton;
Java;
Feature extraction;
9.
Static detection of asymptotic resource side-channel vulnerabilities in web applications
机译:
Web应用中渐近资源侧通道漏洞的静态检测
作者:
Jia Chen
;
Oswaldo Olivo
;
Isil Dillig
;
Calvin Lin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Security;
Timing;
Databases;
Algorithm design and analysis;
Tools;
Time factors;
10.
More effective interpolations in software model checking
机译:
软件模型检查中更有效的插值
作者:
Cong Tian
;
Zhao Duan
;
Zhenhua Duan
;
C.-H. Luke Ong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Interpolation;
Safety;
Model checking;
Space exploration;
Subspace constraints;
Software;
Tools;
11.
Opiner: An opinion search and summarization engine for APIs
机译:
意见者:API的一个意见搜索和摘要引擎
作者:
Gias Uddin
;
Foutse Khomh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Databases;
Portals;
Engines;
Detectors;
Software;
Search engines;
12.
Systematic Reduction of GUI Test Sequences
机译:
系统性地减少GUI测试序列
作者:
Lin Cheng
;
Zijiang Yang
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Systematic Reduction;
GUI;
Test Sequences;
13.
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
机译:
在结构合并中重命名和转移代码:展望精度和性能
作者:
Olaf LeBenich
;
Sven Apel
;
Christian Kastner
;
Georg Seibt
;
Janet Siegmund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Renaming;
Shifted Code;
Performance;
14.
ModelWriter: Text and Model-Synchronized Document Engineering Platform
机译:
ModelWriter:文本和模型同步文档工程平台
作者:
Ferhat Erata
;
Claire Gardent
;
Bikash Gyawali
;
Anastasia Shimorina
;
Yvan Lussaud
;
Bedir Tekinerdogan
;
Geylani Kardas
;
Anne Monceaux
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
ModelWriter;
Engineering Platform;
traceability analysis;
15.
Recommending crowdsourced software developers in consideration of skill improvement
机译:
考虑到技能改进,推荐众群软件开发人员
作者:
Zizhe Wang
;
Hailong Sun
;
Yang Fu
;
Luting Ye
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software;
Correlation;
Reliability;
Crowdsourcing;
Algorithm design and analysis;
Prediction algorithms;
16.
Boosting complete-code tool for partial program
机译:
促进部分程序的完整代码工具
作者:
Hao Zhong
;
Xiaoyin Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Computer bugs;
Boosting;
Java;
Data mining;
Software;
Syntactics;
17.
Leveraging Syntax-Related Code for Automated Program Repair
机译:
利用与自动化程序维修的语法相关的代码
作者:
Qi Xin
;
Steven P. Reiss
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Automated program repair;
code search;
code transfer;
18.
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
机译:
(建模)机器人的崛起:通过社交网络辅助建模
作者:
Sara Pérez-Soler
;
Esther Guerra
;
Juan de Lara
;
Francisco Jurado
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Collaborative modelling;
meta-modelling;
social networks;
natural language processing;
19.
Improved query reformulation for concept location using CodeRank and document structures
机译:
使用Coderank和Document Structs改进了概念位置的查询重构
作者:
Mohammad Masudur Rahman
;
Chanchal K. Roy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Natural languages;
Periodic structures;
Measurement;
Java;
Software maintenance;
20.
Saying ‘Hi!’ is not enough: Mining inputs for effective test generation
机译:
说'嗨!'还不够:用于有效测试生成的挖掘输入
作者:
Luca Della Toffola
;
Cristian-Alexandru Staicu
;
Michael Pradel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Generators;
Software;
Testing;
Indexes;
Data mining;
Computer science;
21.
PAD: Programming third-party web advertisement censorship
机译:
PAD:编程第三方网络广告审查
作者:
Weihang Wang
;
Yonghwi Kwon
;
Yunhui Zheng
;
Yousra Aafer
;
I-Luk Kim
;
Wen-Chuan Lee
;
Yingqi Liu
;
Weijie Meng
;
Xiangyu Zhang
;
Patrick Eugster
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Internet;
Runtime;
Browsers;
Advertising;
Trojan horses;
22.
Managing software evolution through semantic history slicing
机译:
通过语义历史切片管理软件演变
作者:
Yi Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
History;
Semantics;
Software;
Computer bugs;
Heuristic algorithms;
Algorithm design and analysis;
23.
A static analysis tool with optimizations for reachability determination
机译:
具有可达性确定的优化的静态分析工具
作者:
Yuexing Wang
;
Min Zhou
;
Yu Jiang
;
Xiaoyu Song
;
Ming Gu
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Algorithm design and analysis;
Engines;
Benchmark testing;
Visualization;
Optimization;
24.
Incrementally slicing editable submodels
机译:
递增切片可编辑的子模型
作者:
Christopher Pietsch
;
Manuel Ohrndorf
;
Udo Kelter
;
Timo Kehrer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Unified modeling language;
Adaptation models;
Tools;
Servers;
Load modeling;
Computational modeling;
Data models;
25.
Defaultification refactoring: A tool for automatically converting Java methods to default
机译:
Defaultification Refactoration:用于自动将Java方法转换为默认的工具
作者:
Raffi Khatchadourian
;
Hidehiko Masuhara
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Java;
Semantics;
Software;
Computer architecture;
Software engineering;
26.
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
机译:
intpti:自动整数错误修复正确类型推断
作者:
Xi Cheng
;
Min Zhou
;
Xiaoyu Song
;
Ming Gu
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
integer error;
type inference;
fix pattern;
27.
LearnFuzz: Machine learning for input fuzzing
机译:
学习与绒毛:机器学习输入模糊
作者:
Patrice Godefroid
;
Hila Peleg
;
Rishabh Singh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Portable document format;
Grammar;
Training;
Probability distribution;
Recurrent neural networks;
28.
Software engineering without borders
机译:
没有边界的软件工程
作者:
Arie van Deursen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
29.
EHBDroid: Beyond GUI testing for Android applications
机译:
Ehbdroid:超越Android应用的GUI测试
作者:
Wei Song
;
Xiangxing Qian
;
Jeff Huang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Androids;
Humanoid robots;
Testing;
Tools;
Instruments;
Graphical user interfaces;
XML;
30.
Learning to share: Engineering adaptive decision-support for online social networks
机译:
学习分享:在线社交网络的工程自适应决策支持
作者:
Yasmin Rafiq
;
Luke Dickens
;
Alessandra Russo
;
Arosha K. Bandara
;
Mu Yang
;
Avelie Stuart
;
Mark Levine
;
Gul Calikli
;
Blaine A. Price
;
Bashar Nuseibeh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Privacy;
Facebook;
Monitoring;
Sensitivity;
Computational modeling;
Adaptation models;
31.
A comprehensive study on real world concurrency bugs in Node.js
机译:
Node.js中真实世界并发错误的全面研究
作者:
Jie Wang
;
Wensheng Dou
;
Yu Gao
;
Chushu Gao
;
Feng Qin
;
Kang Yin
;
Jun Wei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Concurrent computing;
Instruction sets;
Open source software;
Databases;
Testing;
32.
Semantics-assisted code review: An efficient tool chain and a user study
机译:
语义辅助代码审查:有效的工具链和用户学习
作者:
Massimiliano Menarini
;
Yan Yan
;
William G. Griswold
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Testing;
Computer bugs;
Semantics;
Software;
Navigation;
33.
Learning Effective Changes for Software Projects
机译:
学习软件项目的有效变更
作者:
Rahul Krishna
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Planning;
bellwethers;
defect prediction;
34.
Renaming and shifted code in structured merging: Looking ahead for precision and performance
机译:
在结构合并中重命名和转移代码:展望精度和性能
作者:
Olaf Le?enich
;
Sven Apel
;
Christian K?stner
;
Georg Seibt
;
Janet Siegmund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Merging;
Tools;
Syntactics;
Optimization;
Open source software;
35.
Model checker execution reports
机译:
模型检查程序执行报告
作者:
Rodrigo Casta?o
;
Victor Braberman
;
Diego Garbervetsky
;
Sebastian Uchitel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software;
Safety;
Model checking;
Tools;
Erbium;
Computational modeling;
Atmospheric modeling;
36.
The impact of continuous integration on other software development practices: A large-scale empirical study
机译:
持续整合对其他软件开发实践的影响:大规模的实证研究
作者:
Yangyang Zhao
;
Alexander Serebrenik
;
Yuming Zhou
;
Vladimir Filkov
;
Bogdan Vasilescu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Tools;
Open source software;
Best practices;
Automation;
37.
STARTS: STAtic regression test selection
机译:
开始:静态回归测试选择
作者:
Owolabi Legunsen
;
August Shi
;
Darko Marinov
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Testing;
Prototypes;
Software;
Runtime;
Java;
Libraries;
38.
Understanding and overcoming parallelism bottlenecks in ForkJoin applications
机译:
在Forkjoin应用程序中了解和克服平行瓶颈
作者:
Gustavo Pinto
;
Anthony Canino
;
Fernando Castor
;
Guoqing Xu
;
Yu David Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Java;
Parallel processing;
Programming;
Runtime;
Optimization;
Synchronization;
39.
FEMIR: A Tool for Recommending Framework Extension Examples
机译:
女性:推荐框架扩展示例的工具
作者:
Muhammad Asaduzzaman
;
Chanchal K. Roy
;
Kevin A. Schneider
;
Daqing Hou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
API;
framework;
reuse;
extension point;
extension;
partial program analysis;
graph mining;
40.
Visualization support for requirements monitoring in systems of systems
机译:
可视化支持系统系统中的需求监控
作者:
Lisa Maria Kritzinger
;
Thomas Krismayer
;
Michael Vierhauser
;
Rick Rabiser
;
Paul Grünbacher
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Monitoring;
Tools;
Data visualization;
System of systems;
Runtime;
Automation;
Probes;
41.
Context-Aware Integrated Development Environment Command Recommender Systems
机译:
上下文感知的集成开发环境命令推荐系统
作者:
Marko Gasparic
;
Tural Gurbanov
;
Francesco Ricci
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Integrated Development;
Environment Command;
Recommender Systems;
42.
SimplyDroid: Efficient event sequence simplification for android application
机译:
SimplyDroid:Android应用程序的高效事件序列简化
作者:
Bo Jiang
;
Yuxuan Wu
;
Teng Li
;
W. K. Chan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Graphical user interfaces;
Computer crashes;
Tools;
Debugging;
Smart phones;
Algorithm design and analysis;
Androids;
43.
Understanding feature requests by leveraging fuzzy method and linguistic analysis
机译:
通过利用模糊方法和语言分析来了解特征请求
作者:
Lin Shi
;
Celia Chen
;
Qing Wang
;
Shoubin Li
;
Barry Boehm
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Pragmatics;
Software;
Terminology;
Semantics;
Syntactics;
Natural language processing;
Learning systems;
44.
Promoting secondary orders of event pairs in randomized scheduling using a randomized stride
机译:
使用随机步行在随机调度中推广事件对的二次订单
作者:
Mahmoud Abdelrasoul
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Concurrent computing;
Testing;
Instruction sets;
Scheduling algorithms;
Message systems;
Scheduling;
45.
Detecting information flow by mutating input data
机译:
通过突变输入数据来检测信息流
作者:
Bj?rn Mathis
;
Vitalii Avdiienko
;
Ezekiel O. Soremekun
;
Marcel B?hme
;
Andreas Zeller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Java;
Instruments;
Concrete;
Prototypes;
Smart phones;
46.
Understanding and Overcoming Parallelism Bottlenecks in Fork Join Applications
机译:
在Fork加入应用中了解和克服并行性瓶颈
作者:
Gustavo Pinto
;
Anthony Canino
;
Fernando Castor
;
Guoqing Xu
;
Yu David Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Understanding;
Overcoming Parallelism;
Join Applications;
47.
Incrementally Slicing Editable Submodels
机译:
递增切片可编辑的子模型
作者:
Christopher Pietsch
;
Manuel Ohrndorf
;
Udo Kelter
;
Timo Kehrer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Incrementally Slicing;
Editable Submodels;
demonstrated scenarios;
48.
AnswerBot: Automated generation of answer summary to developers' technical questions
机译:
ArkanBot:自动生成答案总结到开发人员的技术问题
作者:
Bowen Xu
;
Zhenchang Xing
;
Xin Xia
;
David Lo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Synchronization;
Java;
Tools;
Knowledge discovery;
Google;
Search engines;
49.
All about activity injection: Threats, semantics, and detection
机译:
所有关于活动注射:威胁,语义和检测
作者:
Sungho Lee
;
Sungjae Hwang
;
Sukyoung Ryu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Androids;
Humanoid robots;
Electronic mail;
Smart phones;
Semantics;
Malware;
50.
UNDEAD: Detecting and preventing deadlocks in production software
机译:
亡灵:检测和防止生产软件的死锁
作者:
Jinpeng Zhou
;
Sam Silvestro
;
Hongyu Liu
;
Yan Cai
;
Tongping Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
System recovery;
Software;
Production;
Tools;
Runtime;
Concurrent computing;
Computer bugs;
51.
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
机译:
EventFlowsLicer:一种生成现实目标驱动的GUI测试的工具
作者:
Jonathan A. Saddler
;
Myra B. Cohen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software test generation;
graphical user interfaces;
goal-based testing;
52.
Mining constraints for event-based monitoring in systems of systems
机译:
基于事件的挖掘约束在系统系统中基于事件的监视
作者:
Thomas Krismayer
;
Rick Rabiser
;
Paul GrUnbacher
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Monitoring;
Data mining;
Runtime;
Feature extraction;
Automation;
Heuristic algorithms;
System of systems;
53.
APIBot: Question answering bot for API documentation
机译:
Apibot:问题接听机器人的API文档
作者:
Yuan Tian
;
Ferdian Thung
;
Abhishek Sharma
;
David Lo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Documentation;
Knowledge discovery;
Natural languages;
Probabilistic logic;
Training;
Software engineering;
Software;
54.
Detecting unknown inconsistencies in web applications
机译:
检测Web应用程序中的未知不一致
作者:
Frolin S. Ocariza
;
Karthik Pattabiraman
;
Ali Mesbah
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Tools;
Encoding;
Transforms;
Computer languages;
Testing;
55.
A Demonstration of Simultaneous Execution and Editing in a Development Environment
机译:
在开发环境中同时执行和编辑的演示
作者:
Steven P. Reiss
;
Qi Xin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Continuous execution;
integrated development environments;
debugging;
live coding;
56.
BProVe: Tool support for business process verification
机译:
bprove:工具支持业务流程验证
作者:
Flavio Corradini
;
Fabrizio Fornari
;
Andrea Polini
;
Barbara Re
;
Francesco Tiezzi
;
Andrea Vandin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Business;
Atmospheric modeling;
Load modeling;
Semantics;
Analytical models;
Collaboration;
57.
Improving software text retrieval using conceptual knowledge in source code
机译:
使用源代码中的概念知识改进软件文本检索
作者:
Zeqi Lin
;
Yanzhen Zou
;
Junfeng Zhao
;
Bing Xie
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Semantics;
Knowledge based systems;
Software engineering;
Internet;
Tutorials;
Open source software;
58.
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
机译:
浮点符号执行:n-version编程的案例研究
作者:
Daniel Liew
;
Daniel Schemmnel
;
Cristian Cadar
;
Alastair F. Donaldson
;
Rafael Z?hl
;
Klaus Wehrle
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Symbolic Execution;
Case Study;
N-Version Programming;
59.
Towards a software vulnerability prediction model using traceable code patterns and software metrics
机译:
使用可追溯代码模式和软件度量来迈向软件漏洞预测模型
作者:
Kazi Zakia Sultana
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Predictive models;
Software metrics;
Security;
Tools;
Software;
Testing;
60.
Detecting fragile comments
机译:
检测脆弱的评论
作者:
Inderjot Kaur Ratol
;
Martin P. Robillard
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Java;
Benchmark testing;
Syntactics;
Morphology;
Semantics;
61.
Synthetic Data Generation for Statistical Testing
机译:
统计测试的合成数据生成
作者:
Ghanem Soltana
;
Mehrdad Sabetzadeh
;
Lionel C. Briand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Test Data Generation;
Usage-based Statistical Testing;
Model-Driven Engineering;
UML;
OCL;
62.
Symlnfer: Inferring program invariants using symbolic states
机译:
Symlnfer:使用符号状态推断程序不变
作者:
ThanhVu Nguyen
;
Matthew B. Dwyer
;
Willem Visser
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Concrete;
Inference algorithms;
Complexity theory;
Encoding;
Benchmark testing;
Tools;
Runtime;
63.
Software performance self-adaptation through efficient model predictive control
机译:
通过高效模型预测控制自适应软件性能自适应
作者:
Emilio Incerto
;
Mirco Tribastone
;
Catia Trubiani
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Adaptation models;
Optimization;
Runtime;
Quality of service;
Concurrent computing;
Computational modeling;
Throughput;
64.
Why and how JavaScript developers use linters
机译:
JavaScript开发人员为什么和如何使用Linters
作者:
Kristín Fjóla Tómasdóttir
;
Mauricio Aniche
;
Arie van Deursen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Interviews;
Tools;
Software;
Face;
Standards;
Encoding;
65.
BProVe: A formal verification framework for business process models
机译:
BPROVE:业务流程模型的正式验证框架
作者:
Flavio Corradini
;
Fabrizio Fornari
;
Andrea Polini
;
Barbara Re
;
Francesco Tiezzi
;
Andrea Vandin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Semantics;
Analytical models;
Logic gates;
Business;
Software systems;
Tools;
Collaboration;
66.
Automatic testing of symbolic execution engines via program generation and differential testing
机译:
通过程序生成和差异测试自动测试符号执行引擎
作者:
Timotej Kapus
;
Cristian Cadar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Engines;
Tools;
Computer bugs;
Concrete;
Program processors;
Instruments;
67.
Contract-Based Program Repair without the Contracts
机译:
没有合同的基于合同的计划维修
作者:
Liushan Chen
;
Yu Pei
;
Carlo A. Furia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Program Repair;
Contracts;
correct fixes;
68.
Modular verification of interrupt-driven software
机译:
中断驱动软件的模块化验证
作者:
Chungha Sung
;
Markus Kusano
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Computer bugs;
Model checking;
Semantics;
Instruction sets;
69.
Generating simpler AST edit scripts by considering copy-and-paste
机译:
通过考虑复制和粘贴来生成简单的AST编辑脚本
作者:
Yoshiki Higo
;
Akio Ohtani
;
Shinji Kusumoto
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Cloning;
Visualization;
Software;
Transforms;
Writing;
Syntactics;
Computer bugs;
70.
Perceived language complexity in GitHub issue discussions and their effect on issue resolution
机译:
GitHub中的语言复杂性讨论及其对问题解决的影响
作者:
David Kavaler
;
Sasha Sirovica
;
Vincent Hellendoorn
;
Raul Aranovich
;
Vladimir Filkov
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Complexity theory;
Pragmatics;
Rhetoric;
Speech;
Software;
Standards;
Employment;
71.
UNDEAD: Detecting and Preventing Deadlocks in Production Software
机译:
亡灵:检测和防止生产软件的死锁
作者:
Jinpeng Zhou
;
Sam Silvestro
;
Hongyu Liu
;
Yan Cai
;
Tongping Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
UNDEAD;
Detecting;
Preventing Deadlocks;
72.
Leveraging syntax-related code for automated program repair
机译:
利用与自动化程序维修的语法相关的代码
作者:
Qi Xin
;
Steven P. Reiss
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Maintenance engineering;
Computer bugs;
Syntactics;
Semantics;
Databases;
Java;
Fault diagnosis;
73.
IntPTI: Automatic integer error repair with proper-type inference
机译:
intpti:自动整数错误修复正确类型推断
作者:
Xi Cheng
;
Min Zhou
;
Xiaoyu Song
;
Ming Gu
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Maintenance engineering;
Tools;
Semantics;
Security;
Scalability;
Runtime;
Computer bugs;
74.
Characterizing and taming non-deterministic bugs in Javascript applications
机译:
在JavaScript应用程序中表征和驯化非确定性错误
作者:
Jie Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Debugging;
Tools;
Proposals;
Open source software;
Computer languages;
Computer architecture;
75.
Kobold: Web Usability as a Service
机译:
Kobold:Web可用性作为服务
作者:
Julian Grigera
;
Alejandra Garrido
;
Gustavo Rossi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Web Usability;
Software as a Service;
Usability Refactoring;
76.
Detecting Unknown Inconsistencies in Web Applications
机译:
检测Web应用程序中的未知不一致
作者:
Frolin S. Ocariza
;
Karthik Pattabiraman
;
Ali Mesbah
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
JavaScript;
fault detection;
cross-language interactions;
77.
CogniCrypt: Supporting developers in using cryptography
机译:
Cognicrypt:支持使用密码学的开发人员
作者:
Stefan Krüger
;
Sarah Nadi
;
Michael Reif
;
Karim Ali
;
Mira Mezini
;
Eric Bodden
;
Florian G?pfert
;
Felix Günther
;
Christian Weinert
;
Daniel Demmler
;
Ram Kamath
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Ciphers;
Encryption;
Java;
78.
ANDROFLEET: Testing WiFi peer-to-peer mobile apps in the large
机译:
Androfleet:在大型的WiFi对等移动应用中测试
作者:
Lakhdar Meftah
;
Maria Gomez
;
Romain Rouvoy
;
Isabelle Chrisment
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Wireless fidelity;
Peer-to-peer computing;
Testing;
Mobile communication;
Androids;
Humanoid robots;
Mobile handsets;
79.
TiQi: A Natural Language Interface for Querying Software Project Data
机译:
TIQI:用于查询软件项目数据的自然语言界面
作者:
Jinfeng Lin
;
Yalin Liu
;
Jin Guo
;
Jane Cleland-Huang
;
William Goss
;
Wenchuang Liu
;
Sugandha Lohar
;
Natawut Monaikul
;
Alexander Rasin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Natural Language Interface;
Project Data;
Query;
80.
Automatic loop-invariant generation anc refinement through selective sampling
机译:
通过选择性采样自动循环不变生成ANC改进
作者:
Jiaying Li
;
Jun Sun
;
Li Li
;
Quang Loc Le
;
Shang-Wei Lin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Cost accounting;
Tools;
Software;
Computer science;
Testing;
Prototypes;
Indexes;
81.
DSSynth: An automated digital controller synthesis tool for physical plants
机译:
DSSynth:物理植物的自动数字控制器合成工具
作者:
Alessandro Abate
;
Iury Bessa
;
Dario Cattaruzza
;
Lennon Chaves
;
Lucas Cordeiro
;
Cristina David
;
Pascal Kesseli
;
Daniel Kroening
;
Elizabeth Polgreen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
MATLAB;
Mathematical model;
Transfer functions;
Tools;
Digital control;
Engines;
82.
Leveraging abstract interpretation for efficient dynamic symbolic execution
机译:
利用抽象解释高效动态符号执行
作者:
Eman Alatawi
;
Harald S?ndergaard
;
Tim Miller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Explosions;
Concrete;
Testing;
Scalability;
83.
Contract-based program repair without the contracts
机译:
没有合同的基于合同的计划维修
作者:
Liushan Chen
;
Yu Pei
;
Carlo A. Furia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Maintenance engineering;
Contracts;
Java;
Computer bugs;
Monitoring;
Tools;
Indexes;
84.
O2O service composition with social collaboration
机译:
O2O服务组成与社会协作
作者:
Wenyi Qian
;
Xin Peng
;
Jun Sun
;
Yijun Yu
;
Bashar Nuseibeh
;
Wenyun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Collaboration;
Concrete;
Libraries;
Printing;
Optimization;
Quality of service;
Planning;
85.
Automatic summarization of API reviews
机译:
API评论自动摘要
作者:
Gias Uddin
;
Foutse Khomh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Java;
Message systems;
Software;
Heuristic algorithms;
Cameras;
Engines;
86.
Kobold: Web usability as a service
机译:
Kobold:Web可用性作为服务
作者:
Julián Grigera
;
Alejandra Garrido
;
Gustavo Rossi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Usability;
Tools;
Concrete;
Software as a service;
Servers;
Automation;
Business;
87.
A language model for statements of software code
机译:
软件代码语句语言模型
作者:
Yixiao Yang
;
Yu Jiang
;
Ming Gu
;
Jiaguang Sun
;
Jian Gao
;
Han Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Predictive models;
Synthesizers;
Java;
Training data;
Training;
Software;
Context modeling;
88.
Proof-based coverage metrics for formal verification
机译:
基于证明的覆盖度量,用于正式验证
作者:
Elaheh Ghassabani
;
Andrew Gacek
;
Michael W. Whalen
;
Mats P. E. Heimdahl
;
Lucas Wagner
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Measurement;
Computational modeling;
Software;
Safety;
Mathematical model;
Testing;
Analytical models;
89.
FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers
机译:
FIB:通过前进/后向谓词变压器之间的插值挤出循环不变
作者:
Shang-Wei Lin
;
Jun Sun
;
Hao Xiao
;
Yang Liu
;
David Sanán
;
Henri Hansen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Reachability analysis;
Interpolation;
Tools;
Syntactics;
Sun;
Computer science;
Benchmark testing;
90.
Automatically Reducing Tree-Structured Test Inputs
机译:
自动减少树木结构测试输入
作者:
Satia Herfert
;
Jibesh Patra
;
Michael Pradel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Automatically Reducing;
Test Inputs;
original size;
91.
A Static Analysis Tool with Optimizations for Reachability Determination
机译:
具有可达性确定的优化的静态分析工具
作者:
Yuexing Wang
;
Min Zhou
;
Yu Jiang
;
Xiaoyu Song
;
Ming Gu
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Reachability determination;
constraint pattern;
path constraint solving;
92.
Exploring regular expression comprehension
机译:
探索定期表达理解
作者:
Carl Chapman
;
Peipei Wang
;
Kathryn T. Stolee
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Standards;
Measurement;
Pattern matching;
Automata;
Syntactics;
Concrete;
93.
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
机译:
DSSynth:物理植物的自动数字控制器合成工具
作者:
Alessandro Abate
;
Iury Bessa
;
Dario Cattaruzza
;
Lennon Chaves
;
Lucas Cordeiro
;
Cristina David
;
Pascal Kesseli
;
Daniel Kroening
;
Elizabeth Polgreen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Formal Synthesis;
Digital Control Systems;
MATLAB Toolbox;
Finite-Word Length;
Verification;
94.
Privacy-aware data-intensive applications
机译:
隐私感知数据密集型应用程序
作者:
Michele Guerriero
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Data privacy;
Privacy;
Computational modeling;
Access control;
Data models;
Big Data;
Context modeling;
95.
Semantics-Assisted Code Review An Efficient Toolchain and a User Study
机译:
语义辅助代码审查一个有效的工具链和用户学习
作者:
Massimiliano Menarini
;
Yan Yan
;
William G. Griswold
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software behavior;
mining software repository;
code review;
likely invariants;
dynamic impact analysis;
scalability;
software testing;
96.
Diagnosing assumption problems in safety-critical products
机译:
诊断安全关键产品中的假设问题
作者:
Mona Rahimi
;
Wandi Xiong
;
Jane Cleland-Huang
;
Robyn Lutz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software;
Accidents;
Computer science;
Hazards;
Software product lines;
Inspection;
97.
Rethinking Pointer Reasoning in Symbolic Execution
机译:
在象征性执行中重新思考指针推理
作者:
Emilio Coppa
;
Daniele Cono DElia
;
Camil Demetrescu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Rethinking Pointer;
Symbolic Execution;
previous techniques;
98.
A demonstration of simultaneous execution and editing in a development environment
机译:
在开发环境中同时执行和编辑的演示
作者:
Steven P. Reiss
;
Qi Xin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Java;
Tools;
Debugging;
Encoding;
Writing;
Data structures;
Navigation;
99.
Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
机译:
利用抽象解释高效动态符号执行
作者:
Eman Alatawi
;
Harald S?ndergaard
;
Tim Miller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Dynamic symbolic execution;
DSE;
abstract interpretation;
path explosion;
test generation;
100.
Why and How JavaScript Developers Use Linters
机译:
JavaScript开发人员为什么和如何使用Linters
作者:
Kristín Fjóla Tómasdóttir
;
Maurício Aniche
;
Arie van Deursen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
JavaScript Developers;
Use Linters;
Automatic static;
上一页
1
2
3
4
5
6
7
8
9
10
11
下一页
意见反馈
回到顶部
回到首页