掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2017
召开地:
Urbana(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A comprehensive study of real-world numerical bug characteristics
机译:
现实世界中的数字错误特征的综合研究
作者:
Anthony Di Franco
;
Hui Guo
;
Cindy Rubio-González
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Libraries;
Software;
Tools;
Semantics;
Roundoff errors;
Maintenance engineering;
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年
关键词:
Computer bugs;
Concurrent computing;
Instruction sets;
Open source software;
Databases;
Testing;
3.
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;
4.
Automated cross-platform inconsistency detection for mobile apps
机译:
自动化的跨平台不一致性移动应用程序检测
作者:
Mattia Fazzini
;
Alessandro Orso
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Androids;
Humanoid robots;
Encoding;
Performance evaluation;
Analytical models;
5.
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;
6.
AnswerBot: Automated generation of answer summary to developers' technical questions
机译:
AnswerBot:自动生成针对开发人员技术问题的答案摘要
作者:
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;
7.
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;
8.
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;
9.
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;
10.
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;
11.
Automatically assessing code understandability: How far are we?
机译:
自动评估代码的可理解性:我们走了多远?
作者:
Simone Scalabrino
;
Gabriele Bavota
;
Christopher Vendome
;
Mario Linares-Vásquez
;
Denys Poshyvanyk
;
Rocco Oliveto
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Measurement;
Complexity theory;
Software;
Computer bugs;
Correlation;
Maintenance engineering;
Documentation;
12.
Automatically assessing crashes from heap overflows
机译:
自动评估堆溢出导致的崩溃
作者:
Liang He
;
Yan Cai
;
Hong Hu
;
Purui Su
;
Zhenkai Liang
;
Yi Yang
;
Huafeng Huang
;
Jia Yan
;
Xiangkun Jia
;
Dengguo Feng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer crashes;
Measurement;
Tools;
Payloads;
Indexes;
Data mining;
Layout;
13.
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;
14.
Mining structures from massive text data: Will it help software engineering?
机译:
从大量文本数据中挖掘结构:它将对软件工程有所帮助吗?
作者:
Jiawei Han
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
15.
DSIbin: Identifying dynamic data structures in C/C++ binaries
机译:
DSIbin:识别C / C ++二进制文件中的动态数据结构
作者:
Thomas Rupprecht
;
Xi Chen
;
David H. White
;
Jan H. Boockmann
;
Gerald Lüttgen
;
Herbert Bos
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Shape;
Data structures;
Linux;
Kernel;
Benchmark testing;
Merging;
16.
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;
17.
Cobra — An interactive static code analyzer
机译:
Cobra —交互式静态代码分析器
作者:
Gerard Holzmann
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
18.
SentiCR: A customized sentiment analysis tool for code review interactions
机译:
SentiCR:用于代码审查交互的自定义情感分析工具
作者:
Toufique Ahmed
;
Amiangshu Bosu
;
Anindya Iqbal
;
Shahram Rahimi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Sentiment analysis;
Supervised learning;
Training;
Algorithm design and analysis;
Dictionaries;
Social network services;
19.
Transfer learning for performance modeling of configurable systems: An exploratory analysis
机译:
用于可配置系统性能建模的转移学习:探索性分析
作者:
Pooyan Jamshidi
;
Norbert Siegmund
;
Miguel Velez
;
Christian Kästner
;
Akshay Patel
;
Yuvraj Agarwal
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Hardware;
Software systems;
Analytical models;
Predictive models;
Mobile communication;
Reliability;
20.
Test suite parallelization in open-source projects: A study on its usage and impact
机译:
开源项目中的测试套件并行化:关于其用法和影响的研究
作者:
Jeanderson Candido
;
Luis Melo
;
Marcelo dAmorim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Parallel processing;
Java;
Open source software;
Resistance;
Electrical resistance measurement;
Instruction sets;
21.
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;
22.
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年
关键词:
Semantics;
Grammar;
Cognition;
Atmospheric modeling;
Hydraulic systems;
Analytical models;
Tools;
23.
Automatically generating commit messages from diffs using neural machine translation
机译:
使用神经机器翻译从差异自动生成提交消息
作者:
Siyuan Jiang
;
Ameer Armaly
;
Collin McMillan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Algorithm design and analysis;
Software;
Natural languages;
Software algorithms;
Machine learning;
Computer bugs;
Prediction algorithms;
24.
Automatically reducing tree-structured test inputs
机译:
自动减少树状结构的测试输入
作者:
Satia Herfert
;
Jibesh Patra
;
Michael Pradel
会议名称:
《》
|
2017年
关键词:
Debugging;
Computer bugs;
XML;
Portable document format;
Syntactics;
25.
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年
关键词:
Color;
Tools;
Testing;
Graphical user interfaces;
Keyboards;
Java;
26.
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;
27.
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;
28.
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;
29.
Testing intermediate representations for binary analysis
机译:
测试中间表示形式以进行二进制分析
作者:
Soomin Kim
;
Markus Faerevaag
;
Minkyu Jung
;
Seungll Jung
;
DongYeop Oh
;
JongHyup Lee
;
Sang Kil Cha
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Semantics;
Computer bugs;
Binary codes;
Testing;
Tools;
Software;
C++ languages;
30.
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;
31.
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;
32.
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;
33.
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;
34.
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;
35.
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;
36.
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;
37.
Gremlin-ATL: A scalable model transformation framework
机译:
Gremlin-ATL:可扩展的模型转换框架
作者:
Gwendal Daniel
;
Frédéric Jouault
;
Gerson Sunyé
;
Jordi Cabot
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Unified modeling language;
Databases;
Load modeling;
Computational modeling;
Transforms;
Tools;
Database languages;
38.
Software engineering without borders
机译:
软件工程无国界
作者:
Arie van Deursen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
39.
Parallel bug-finding in concurrent programs via reduced interleaving instances
机译:
通过减少交织实例在并发程序中并行发现错误
作者:
Truc L. Nguyen
;
Peter Schrammel
;
Bernd Fischer
;
Salvatore La Torre
;
Gennaro Parlato
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Tools;
Concurrent computing;
Instruction sets;
Programming;
Model checking;
40.
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;
41.
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;
42.
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;
43.
FEMIR: A tool for recommending framework extension examples
机译:
FEMIR:推荐框架扩展示例的工具
作者:
Muhammad Asaduzzaman
;
Chanchal K. Roy
;
Kevin A. Schneider
;
Daqing Hou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Receivers;
Proposals;
Java;
Indexes;
Tree data structures;
44.
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;
45.
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;
46.
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;
47.
Comprehensive failure characterization
机译:
全面的故障表征
作者:
Mitchell J. Gerrard
;
Matthew B. Dwyer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Upper bound;
Tools;
Maintenance engineering;
Software;
Manuals;
Standards;
48.
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;
49.
TREM: A tool for mining timed regular specifications from system traces
机译:
TREM:一种用于从系统跟踪中挖掘定时的常规规范的工具
作者:
Lukas Schmidt
;
Apurva Narayan
;
Sebastian Fischmeister
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Data mining;
Automata;
Tools;
Software;
Debugging;
Real-time systems;
Monitoring;
50.
UI driven Android application reduction
机译:
UI驱动的Android应用程序缩减
作者:
Jianjun Huang
;
Yousra Aafer
;
David Perry
;
Xiangyu Zhang
;
Chen Tian
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Meteorology;
Androids;
Humanoid robots;
Mobile communication;
Real-time systems;
Prototypes;
51.
Floating-point symbolic execution: A case study in N-version programming
机译:
浮点符号执行:N版本编程中的一个案例研究
作者:
Daniel Liew
;
Daniel Schemmel
;
Cristian Cadar
;
Alastair F. Donaldson
;
Rafael Zahl
;
Klaus Wehrle
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Benchmark testing;
Tools;
Programming;
Cognition;
Encoding;
Concrete;
52.
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;
53.
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;
54.
Can automated pull requests encourage software developers to upgrade out-of-date dependencies?
机译:
自动提取请求是否可以鼓励软件开发人员升级过时的依赖关系?
作者:
Samim Mirhosseini
;
Chris Parnin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Software;
Libraries;
Security;
Google;
Safety;
55.
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;
56.
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;
57.
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;
58.
Context-aware integrated development environment command recommender systems
机译:
上下文感知的集成开发环境命令推荐系统
作者:
Marko Gasparic
;
Tural Gurbanov
;
Francesco Ricci
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Prediction algorithms;
Context modeling;
Algorithm design and analysis;
Software;
Java;
Recommender systems;
Software algorithms;
59.
Parsimony: An IDE for example-guided synthesis of lexers and parsers
机译:
简约:用于示例指导的词法分析器和解析器综合的IDE
作者:
Alan Leung
;
Sorin Lerner
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Automata;
Grammar;
Syntactics;
Data structures;
Standards;
60.
Programming bots by synthesizing natural language expressions into API invocations
机译:
通过将自然语言表达式合成为API调用来对机器人进行编程
作者:
Shayan Zamanirad
;
Boualem Benatallah
;
Moshe Chai Barukh
;
Fabio Casati
;
Carlos Rodriguez
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Natural languages;
Programming;
Computational modeling;
Concrete;
Meteorology;
Business;
Machine learning;
61.
ICoq: Regression proof selection for large-scale verification projects
机译:
ICoq:用于大型验证项目的回归证明选择
作者:
Ahmet Celik
;
Karl Palmskog
;
Milos Gligoric
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Java;
Time measurement;
Software;
Standards;
Semantics;
62.
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;
63.
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
会议名称:
《》
|
2017年
关键词:
Merging;
Tools;
Syntactics;
Optimization;
Open source software;
64.
Symlnfer: Inferring program invariants using symbolic states
机译:
SymInfer:使用符号状态推断程序不变式
作者:
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;
65.
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;
66.
Crowd intelligence enhances automated mobile testing
机译:
人群智能增强了自动移动测试
作者:
Ke Mao
;
Mark Harman
;
Yue Jia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Mobile communication;
Tools;
Data mining;
Androids;
Humanoid robots;
Mobile handsets;
67.
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;
68.
Rethinking pointer reasoning in symbolic execution
机译:
重新思考符号执行中的指针推理
作者:
Emilio Coppa
;
Daniele Cono DElia
;
Camil Demetrescu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Concrete;
Weapons;
Cognition;
Indexes;
Merging;
Load modeling;
Computer bugs;
69.
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;
70.
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;
71.
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;
72.
Synthetic data generation for statistical testing
机译:
用于统计测试的综合数据生成
作者:
Ghanem Soltana
;
Mehrdad Sabetzadeh
;
Lionel C. Briand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Statistical analysis;
Data models;
Probabilistic logic;
Generators;
Unified modeling language;
Reliability;
Histograms;
73.
Predicting relevance of change recommendations
机译:
预测变更建议的相关性
作者:
Thomas Rolfsnes
;
Leon Moonen
;
David Binkley
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Data mining;
History;
Couplings;
Software algorithms;
Software measurement;
Software systems;
74.
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;
75.
Systematically testing background services of mobile apps
机译:
系统地测试移动应用程序的后台服务
作者:
Li Lyna Zhang
;
Chieh-Jan Mike Liang
;
Yunxin Liu
;
Enhong Chen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Androids;
Humanoid robots;
Tools;
Mobile communication;
Generators;
Telemetry;
76.
Taco: A tool to generate tensor algebra kernels
机译:
Taco:生成张量代数内核的工具
作者:
Fredrik Kjolstad
;
Stephen Chou
;
David Lugato
;
Shoaib Kamil
;
Saman Amarasinghe
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tensile stress;
Tools;
Kernel;
Indexes;
Libraries;
Linear algebra;
77.
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;
78.
Are developers aware of the architectural impact of their changes?
机译:
开发人员是否意识到其变更对架构的影响?
作者:
Matheus Paixao
;
Jens Krinke
;
DongGyun Han
;
Chaiyong Ragkhitwetsagul
;
Mark Harman
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Couplings;
Computer architecture;
Measurement;
Java;
History;
Degradation;
Software systems;
79.
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;
80.
SEALANT: A detection and visualization tool for inter-app security vulnerabilities in androic
机译:
SEALANT:一种用于Android中应用间安全漏洞的检测和可视化工具
作者:
Youn Kyu Lee
;
Peera Yoodee
;
Arman Shahbazian
;
Daye Nam
;
Nenad Medvidovic
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Sealing materials;
Androids;
Humanoid robots;
Visualization;
Tools;
Analytical models;
Data mining;
81.
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;
82.
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;
83.
Learning effective changes for software projects
机译:
学习软件项目的有效变更
作者:
Rahul Krishna
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Planning;
Software;
Tools;
Software engineering;
Decision trees;
Software algorithms;
84.
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;
85.
Improved query reformulation for concept location using CodeRank and document structures
机译:
使用CodeRank和文档结构改进了用于概念定位的查询重新编制
作者:
Mohammad Masudur Rahman
;
Chanchal K. Roy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Natural languages;
Periodic structures;
Measurement;
Java;
Software maintenance;
86.
Sketch-guided GUI test generation for mobile applications
机译:
适用于移动应用程序的草图引导GUI测试生成
作者:
Chucheng Zhang
;
Haoliang Cheng
;
Enyi Tang
;
Xin Chen
;
Lei Bu
;
Xuandong Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Graphical user interfaces;
Testing;
Layout;
Shape;
Connectors;
Mobile applications;
Grammar;
87.
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;
88.
TrEKer: Tracing error propagation in operating system kernels
机译:
TrEKer:跟踪操作系统内核中的错误传播
作者:
Nicolas Coppik
;
Oliver Schwahn
;
Stefan Winter
;
Neeraj Suri
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Kernel;
Hardware;
Instruments;
Testing;
Fault diagnosis;
89.
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;
90.
In-memory fuzzing for binary code similarity analysis
机译:
用于二进制代码相似性分析的内存模糊测试
作者:
Shuai Wang
;
Dinghao Wu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Binary codes;
Tools;
Runtime;
Indexes;
Syntactics;
91.
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;
92.
Tortoise: Interactive system configuration repair
机译:
乌龟:交互式系统配置修复
作者:
Aaron Weiss
;
Arjun Guha
;
Yuriy Brun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Maintenance engineering;
Computer bugs;
Web servers;
Organizations;
Benchmark testing;
93.
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;
94.
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;
95.
Defaultification refactoring: A tool for automatically converting Java methods to default
机译:
缺省重构:一种将Java方法自动转换为缺省方法的工具
作者:
Raffi Khatchadourian
;
Hidehiko Masuhara
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Java;
Semantics;
Software;
Computer architecture;
Software engineering;
96.
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;
97.
Automatic loop-invariant generation anc refinement through selective sampling
机译:
通过选择性采样自动进行循环不变生成和细化
作者:
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;
98.
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;
99.
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;
100.
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年
关键词:
Structured Query Language;
Natural languages;
Hazards;
Software;
Tools;
Distributed databases;
Unified modeling language;
意见反馈
回到顶部
回到首页