掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2018
召开地:
Montpellier(FR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation
机译:
神经机器翻译在野外学习漏洞修复补丁的实证研究
作者:
Michele Tufano
;
Cody Watson
;
Gabriele Bavota
;
Massimiliano di Penta
;
Martin White
;
Denys Poshyvanyk
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
neural machine translation;
bug-fixes;
2.
RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis
机译:
RUDSEA:通过软件环境分析推荐Dockerfile更新
作者:
Foyzul Hassan
;
Rodney Rodriguez
;
Xiaoyin Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
public domain software;
service-oriented architecture;
software maintenance;
software packages;
3.
TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization
机译:
TDroid:通过Control Flow Specialization公开Android中的应用程序切换攻击
作者:
Jie Liu
;
Diyu Wu
;
Jingling Xue
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
computer crime;
invasive software;
program diagnostics;
program slicing;
4.
A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
机译:
字符串和长度约束分析的符号模型检查方法
作者:
Hung-En Wang
;
Shih-Yu Chen
;
Fang Yu
;
Jie-Hong R. Jiang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
automata theory;
computational complexity;
constraint handling;
formal verification;
security of data;
5.
Assessing and Evaluating Functional Suitability of Software
机译:
评估和评估软件的功能适用性
作者:
Philipp Haindl
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
human computer interaction;
software quality;
6.
Software Engineering Techniques Applied to Relational Databases
机译:
用于关系数据库的软件工程技术
作者:
Julien Delplanque
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
relational databases;
software engineering;
7.
Towards Automatic Restrictification of CUDA Kernel Arguments
机译:
对CUDA内核参数的自动限制
作者:
Rokiatou Diarra
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
data structures;
optimising compilers;
parallel architectures;
program diagnostics;
8.
Automatic Mining of Constraints for Monitoring Systems of Systems
机译:
系统监控系统约束的自动挖掘
作者:
Thomas Krismayer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
data mining;
formal specification;
specification languages;
system monitoring;
9.
A Multi-objective Framework for Effective Performance Fault Injection in Distributed Systems
机译:
分布式系统中有效性能故障注入的多目标框架
作者:
Luca Traini
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
distributed processing;
remote procedure calls;
search problems;
software fault tolerance;
10.
Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models
机译:
从扩展的OpenAPI模型进行自上而下的模型驱动的Web服务工程
作者:
David Sferruzza
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
application program interfaces;
Web services;
11.
Differential Program Analysis with Fuzzing and Symbolic Execution
机译:
具有模糊和符号执行的差分程序分析
作者:
Yannic Noller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
fuzzy set theory;
program diagnostics;
regression analysis;
symbol manipulation;
12.
A DSL for Requirements in the Context of a Seamless Approach
机译:
在无缝方法中满足需求的DSL
作者:
Florian Galinier
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Requirements engineering;
DSL;
Seamless development;
Traceability;
Verification and Validation;
13.
An Empirical Study of Android Test Generation Tools in Industrial Cases
机译:
工业案例中Android测试生成工具的实证研究
作者:
Wenyu Wang
;
Dengfeng Li
;
Wei Yang
;
Yurui Cao
;
Zhenwen Zhang
;
Yuetang Deng
;
Tao Xie
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
mobile computing;
program testing;
user interfaces;
14.
Automatically Testing Implementations of Numerical Abstract Domains
机译:
自动测试数字抽象域的实现
作者:
Alexandra Bugariu
;
Valentin Wüstholz
;
Maria Christakis
;
Peter Müller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
soundness testing;
precision testing;
abstract interpretation;
15.
Navigating the Maze: The Impact of Configurability in Bioinformatics Software
机译:
导航迷宫:生物信息学软件中可配置性的影响
作者:
Mikaela Cashman
;
Myra B. Cohen
;
Priya Ranjan
;
Robert W. Cottingham
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
bioinformatics;
data mining;
DNA;
learning (artificial intelligence);
molecular biophysics;
16.
Experiences Applying Automated Architecture Analysis Tool Suites
机译:
应用自动化体系结构分析工具套件的经验
作者:
Ran Mo
;
Will Snipes
;
Yuanfang Cai
;
Srini Ramaswamy
;
Rick Kazman
;
Martin Naedele
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
flaw detection;
software architecture;
software maintenance;
software metrics;
software quality;
software tools;
17.
Achieving Test Automation with Testers without Coding Skills: An Industrial Report
机译:
使用无编码技能的测试人员实现测试自动化:行业报告
作者:
Davrondzhon Gafurov
;
Arne Erik Hurum
;
Martin Markman
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Test automation;
process-driven test automation;
keyword-driven test automation;
DSL for test automation;
Helsenorge;
18.
Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds
机译:
迈向自动消除法规歧义:利用人群的智慧
作者:
Manasi Patwardhan
;
Abhishek Sainani
;
Richa Sharma
;
Shirish Karande
;
Smita Ghaisas
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
crowdsourcing;
expectation-maximisation algorithm;
law;
software engineering;
19.
S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts
机译:
S-gram:实现以太坊智能合约的语义感知安全审计
作者:
Han Liu
;
Chao Liu
;
Wenqi Zhao
;
Yu Jiang
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Smart contracts;
security auditing;
language modeling;
static semantic labeling;
20.
Continuous Code Quality: Are We (Really) Doing That?
机译:
持续的代码质量:我们(确实)这样做吗?
作者:
Carmine Vassallo
;
Fabio Palomba
;
Alberto Bacchelli
;
Harald C. Gall
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program diagnostics;
project management;
software quality;
21.
Delta Debugging Microservice Systems
机译:
Delta调试微服务系统
作者:
Xiang Zhou
;
Xin Peng
;
Tao Xie
;
Jun Sun
;
Wenhai Li
;
Chao Ji
;
Dan Ding
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Microservice;
Delta Debugging;
Testing;
22.
Loop Path Reduction by State Pruning
机译:
通过状态修剪减少环路路径
作者:
Jianxiong Gao
;
Steven S. Lumetta
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program debugging;
program testing;
23.
An Evolutionary Approach for Analyzing Alloy Specifications
机译:
分析合金规格的进化方法
作者:
Jianghao Wang
;
Hamid Bagheri
;
Myra B. Cohen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
formal specification;
formal verification;
genetic algorithms;
inference mechanisms;
24.
node2defect: Using Network Embedding to Improve Software Defect Prediction
机译:
node2defect:使用网络嵌入来改善软件缺陷预测
作者:
Yu Qu
;
Ting Liu
;
Jianlei Chi
;
Yangxu Jin
;
Di Cui
;
Ancheng He
;
Qinghua Zheng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
learning (artificial intelligence);
public domain software;
software maintenance;
software metrics;
software quality;
software reliability;
25.
Personalized Teammate Recommendation for Crowdsourced Software Developers
机译:
众包软件开发人员的个性化队友推荐
作者:
Luting Ye
;
Hailong Sun
;
Xu Wang
;
Jiaruijue Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
approximation theory;
optimisation;
recommender systems;
software development management;
software engineering;
team working;
26.
Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)
机译:
基于Qt跨平台框架的C ++程序的有界模型检查(Journal-First Abstract)
作者:
Felipe R. Monteiro
;
Mário A. P. Garcia
;
Lucas C. Cordeiro
;
Eddie B. de Lima Filho
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Software Engineering;
Qt Framework;
Model Checking;
Formal Verification;
Verification in Industrial Practice;
27.
Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)
机译:
估计可追溯性恢复中的剩余链接数(期刊第一摘要)
作者:
Davide Falessi
;
Massimiliano di Penta
;
Gerardo Canfora
;
Giovanni Cantone
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Information retrieval;
Traceability link recovery;
Metrics and measurement;
28.
Automated Directed Fairness Testing
机译:
自动化定向公平性测试
作者:
Sakshi Udeshi
;
Pryanshu Arora
;
Sudipta Chattopadhyay
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
decision making;
learning (artificial intelligence);
program testing;
29.
Generating Reusable Web Components from Mockups
机译:
从样机生成可重复使用的Web组件
作者:
Mohammad Bajammal
;
Davood Mazinanian
;
Ali Mesbah
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
data visualisation;
Internet;
software reusability;
unsupervised learning;
user interfaces;
Web design;
30.
Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)
机译:
理解开源Java项目中的半结构化合并冲突特征(Journal-First Abstract)
作者:
Paola Accioly
;
Paulo Borba
;
Guilherme Cavalcanti
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Collaborative software development;
Empirical Software Engineering;
Awareness tools;
31.
Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)
机译:
自动量化系统变更的影响(期刊第一摘要)
作者:
Nada Almasri
;
Luay Tahat
;
Bogdan Korel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Impact analysis;
EFSM;
Maintenance;
Model-based analysis;
32.
Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution
机译:
双力:通过跨语言强制执行了解WebView恶意软件
作者:
Zhenhao Tang
;
Juan Zhai
;
Minxue Pan
;
Yousra Aafer
;
Shiqing Ma
;
Xiangyu Zhang
;
Jianhua Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
functional suitability;
continuous software improvement;
task monitoring;
functional fitness;
33.
Expandable Group Identification in Spreadsheets
机译:
电子表格中的可扩展组标识
作者:
Wensheng Dou
;
Shi Han
;
Liang Xu
;
Dongmei Zhang
;
Jun Wei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
data handling;
spreadsheet programs;
34.
Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote)
机译:
软件遗产:收集,保留和共享我们所有的源代码(主题演讲)
作者:
Roberto di Cosmo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
knowledge based systems;
public domain software;
software maintenance;
source code (software);
35.
Automated Requirements Engineering Challenges with Examples from Small Unmanned Aerial Systems (Keynote)
机译:
自动化需求工程挑战,以小型无人机系统为例(主题演讲)
作者:
Jane Cleland-Huang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
aerospace computing;
autonomous aerial vehicles;
control engineering computing;
data mining;
formal specification;
remotely operated vehicles;
software engineering;
systems analysis;
36.
Domain-Independent Multi-threaded Software Model Checking
机译:
与域无关的多线程软件模型检查
作者:
Dirk Beyer
;
Karlheinz Friedberger
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
multi-threading;
parallel algorithms;
program diagnostics;
program verification;
shared memory systems;
37.
Deep Learning Based Feature Envy Detection
机译:
基于深度学习的特征嫉妒检测
作者:
Hui Liu
;
Zhifeng Xu
;
Yanzhen Zou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Feature Envy;
Deep Learning;
Software Refactoring;
Code Smells;
38.
The Need for Context in Software Engineering (IEEE CS Harlan Mills Award Keynote)
机译:
软件工程中的上下文需求(IEEE CS Harlan Mills奖主题演讲)
作者:
Gail C. Murphy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
software engineering;
software tools;
39.
Implementation Science for Software Engineering: Bridging the Gap between Research and Practice (Keynote)
机译:
软件工程实施科学:弥合研究与实践之间的鸿沟(主题演讲)
作者:
Lauren Herckis
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
medical information systems;
software engineering;
40.
Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps
机译:
了解和检测Android应用程序中由进化引起的兼容性问题
作者:
Dongjie He
;
Lian Li
;
Lei Wang
;
Hengjie Zheng
;
Guangwei Li
;
Jingling Xue
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
application program interfaces;
data flow analysis;
mobile computing;
smart phones;
41.
Scheduling Constraint Based Abstraction Refinement for Weak Memory Models
机译:
基于调度约束的弱内存模型抽象细化
作者:
Liangze Yin
;
Wei Dong
;
Wanwei Liu
;
Ji Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
graph theory;
multiprocessing systems;
multi-threading;
program diagnostics;
program verification;
scheduling;
42.
Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes
机译:
线程安全类的并发测试的有效性和挑战
作者:
Valerio Terragni
;
Mauro Pezzè
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
automatic programming;
concurrency control;
multi-threading;
program testing;
43.
Safe Stream-Based Programming with Refinement Types
机译:
具有优化类型的基于安全流的安全编程
作者:
Benno Stein
;
Lazaro Clapp
;
Manu Sridharan
;
Bor-Yuh Evan Chang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
interactive systems;
Java;
program debugging;
public domain software;
user interfaces;
44.
Scalable Incremental Building with Dynamic Task Dependencies
机译:
具有动态任务相关性的可扩展增量式构建
作者:
Gabriël Konat
;
Sebastian Erdweg
;
Eelco Visser
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
authoring languages;
object-oriented programming;
program testing;
software engineering;
45.
Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug
机译:
打破动态切片的死胡同:本地化数据和控制遗漏错误
作者:
Yun Lin
;
Jun Sun
;
Lyly Tran
;
Guangdong Bai
;
Haijun Wang
;
Jinsong Dong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program debugging;
program slicing;
public domain software;
46.
Replay without Recording of Production Bugs for Service Oriented Applications
机译:
重放而无需记录面向服务的应用程序的生产错误
作者:
Nipun Arora
;
Jonathan Bell
;
Franjo Ivančić
;
Gail Kaiser
;
Baishakhi Ray
会议名称:
《》
|
2018年
关键词:
program debugging;
service-oriented architecture;
virtualisation;
47.
Android Testing via Synthetic Symbolic Execution
机译:
通过合成符号执行的Android测试
作者:
Xiang Gao
;
Shin Hwei Tan
;
Zhen Dong
;
Abhik Roychoudhury
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
formal specification;
Java;
mobile computing;
program diagnostics;
program testing;
program verification;
virtual machines;
48.
A Unified Lattice Model and Framework for Purity Analyses
机译:
纯度分析的统一格子模型和框架
作者:
Dominik Helm
;
Florian Kübler
;
Michael Eichberg
;
Michael Reif
;
Mira Mezini
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
formal specification;
formal verification;
object-oriented programming;
program debugging;
security of data;
49.
On Adopting Linters to Deal with Performance Concerns in Android Apps
机译:
关于采用Linter处理Android Apps中的性能问题
作者:
Sarra Habchi
;
Xavier Blanc
;
Romain Rouvoy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android;
performance;
linters;
static analysis;
50.
PFix: Fixing Concurrency Bugs Based on Memory Access Patterns
机译:
PFix:修复基于内存访问模式的并发错误
作者:
Huarui Lin
;
Zan Wang
;
Shuang Liu
;
Jun Sun
;
Dongdi Zhang
;
Guangning Wei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
concurrency (computers);
Java;
multi-threading;
program debugging;
51.
Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies
机译:
基于模型的复杂角色访问控制策略的运行时执行
作者:
Ameni Ben Fadhel
;
Domenico Bianculli
;
Lionel C. Briand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
authorisation;
Internet;
52.
$lpha$
Diff: Cross-Version Binary Code Similarity Detection with DNN
机译:
$ alpha $ tex>差异:具有DNN的跨版本二进制代码相似性检测
作者:
Bingchang Liu
;
Wei Huo
;
Chao Zhang
;
Wenchao Li
;
Feng Li
;
Aihua Piao
;
Wei Zou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
convolutional neural nets;
feature extraction;
invasive software;
program diagnostics;
53.
Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI
机译:
历史建筑数据中的噪声和异质性:Travis CI的实证研究
作者:
Keheliya Gallaba
;
Christian Macho
;
Martin Pinzger
;
Shane McIntosh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program verification;
54.
Concolic Testing for Deep Neural Networks
机译:
深度神经网络的共模测试
作者:
Youcheng Sun
;
Min Wu
;
Wenjie Ruan
;
Xiaowei Huang
;
Marta Kwiatkowska
;
Daniel Kroening
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
neural networks;
symbolic execution;
concolic testing;
55.
Assessing the Type Annotation Burden
机译:
评估类型注释负担
作者:
John-Paul Ore
;
Sebastian Elbaum
;
Carrick Detweiler
;
Lambros Karkazis
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
fault diagnosis;
formal specification;
56.
DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems
机译:
DeepRoad:用于自动驾驶系统的基于GAN的变形测试和输入验证框架
作者:
Mengshi Zhang
;
Yuqun Zhang
;
Lingming Zhang
;
Cong Liu
;
Sarfraz Khurshid
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
feature extraction;
learning (artificial intelligence);
mobile robots;
neural nets;
program testing;
57.
Semantic Crash Bucketing
机译:
语义崩溃存储
作者:
Rijnard van Tonder
;
John Kotheimer
;
Claire le Goues
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
fuzzy set theory;
program debugging;
program testing;
58.
Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems
机译:
应对组合爆炸:分析高度可配置系统的工业需求和实践研究
作者:
Mukelabai Mukelabai
;
Damir Nešić
;
Salome Maro
;
Thorsten Berger
;
Jan-Philipp Steghöfer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program testing;
software product lines;
59.
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
机译:
ContractFuzzer:对智能合约进行模糊检测以检测漏洞
作者:
Bo Jiang
;
Ye Liu
;
W.K. Chan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
cryptocurrencies;
program testing;
security of data;
60.
Template-Guided Concolic Testing via Online Learning
机译:
通过在线学习进行模板指导的concolic测试
作者:
Sooyoung Cha
;
Seonho Lee
;
Hakjoo Oh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
learning (artificial intelligence);
program diagnostics;
program testing;
61.
Characterizing and Identifying Misexposed Activities in Android Applications
机译:
表征和识别Android应用程序中的错误活动
作者:
Jiwei Yan
;
Xi Deng
;
Ping Wang
;
Tianyong Wu
;
Jun Yan
;
Jian Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
data flow analysis;
mobile computing;
security of data;
smart phones;
62.
Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?
机译:
基于神经机器翻译的提交消息生成:我们走了多远?
作者:
Zhongxin Liu
;
Xin Xia
;
Ahmed E. Hassan
;
David Lo
;
Zhenchang Xing
;
Xinyu Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
language translation;
nearest neighbour methods;
software maintenance;
system documentation;
63.
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
机译:
DeepGauge:深度学习系统的多粒度测试标准
作者:
Lei Ma
;
Felix Juefei-Xu
;
Fuyuan Zhang
;
Jiyuan Sun
;
Minhui Xue
;
Bo Li
;
Chunyang Chen
;
Ting Su
;
Li Li
;
Yang Liu
;
Jianjun Zhao
;
Yadong Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
learning (artificial intelligence);
neural nets;
program testing;
safety-critical software;
security of data;
64.
AutoConfig: Automatic Configuration Tuning for Distributed Message Systems
机译:
AutoConfig:分布式消息系统的自动配置调整
作者:
Liang Bao
;
Xin Liu
;
Ziheng Xu
;
Baoyin Fang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
data handling;
distributed processing;
learning (artificial intelligence);
sampling methods;
65.
ReScue: Crafting Regular Expression DoS Attacks*
机译:
救援:制作正则表达式DoS攻击*
作者:
Yuju Shen
;
Yanyan Jiang
;
Chang Xu
;
Ping Yu
;
Xiaoxing Ma
;
Jian Lu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
computer network security;
deterministic automata;
finite automata;
genetic algorithms;
pattern matching;
public domain software;
query languages;
search problems;
string matching;
text analysis;
tree data structures;
66.
Client-Specific Equivalence Checking
机译:
客户特定的对等检查
作者:
Federico Mora
;
Yi Li
;
Julia Rubin
;
Marsha Chechik
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Software change;
equivalence checking;
symbolic execution;
67.
API Method Recommendation without Worrying about the Task-API Knowledge Gap
机译:
无需担心Task-API知识差距的API方法推荐
作者:
Qiao Huang
;
Xin Xia
;
Zhenchang Xing
;
David Lo
;
Xinyu Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
application program interfaces;
Java;
object-oriented programming;
query processing;
recommender systems;
text analysis;
68.
Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search
机译:
使用多目标搜索测试自动驾驶汽车的功能交互故障
作者:
Raja Ben Abdessalem
;
Annibale Panichella
;
Shiva Nejati
;
Lionel C. Briand
;
Thomas Stifter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Search-based Software Testing;
Many-Objective Optimization;
Automotive Systems;
Feature Interaction Problem;
69.
Mining File Histories: Should We Consider Branches?
机译:
挖掘文件的历史:我们应该考虑分支吗?
作者:
Vladimir Kovalenko
;
Fabio Palomba
;
Alberto Bacchelli
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
configuration management;
data mining;
public domain software;
software maintenance;
70.
Detecting and Summarizing GUI Changes in Evolving Mobile Apps
机译:
在不断发展的移动应用程序中检测和总结GUI更改
作者:
Kevin Moran
;
Cody Watson
;
John Hoskins
;
George Purnell
;
Denys Poshyvanyk
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Mobile Apps;
GUI changes;
Software Evolution;
Android;
71.
Trimmer: Application Specialization for Code Debloating
机译:
修剪器:代码拆分的应用程序专业化
作者:
Hashim Sharif
;
Muhammad Abubakar
;
Ashish Gehani
;
Fareed Zaffar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program diagnostics;
security of data;
software reusability;
72.
PARTI: A Multi-interval Theory Solver for Symbolic Execution
机译:
PARTI:用于符号执行的多间隔理论求解器
作者:
Oscar Soria Dustmann
;
Klaus Wehrle
;
Cristian Cadar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
computability;
learning (artificial intelligence);
program diagnostics;
73.
PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames
机译:
PerfLearner:从错误报告中学习以了解并生成性能测试框架
作者:
Xue Han
;
Tingting Yu
;
David Lo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program debugging;
program testing;
software quality;
74.
FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
机译:
FairFuzz:旨在提高Greybox模糊测试覆盖率的目标突变策略
作者:
Caroline Lemieux
;
Koushik Sen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program debugging;
program diagnostics;
program testing;
75.
A Tale of Two Cities: How WebView Induces Bugs to Android Applications
机译:
两个城市的故事:WebView如何引发Android应用程序的错误
作者:
Jiajun Hu
;
Lili Wei
;
Yepang Liu
;
Shing-Chi Cheung
;
Huaxun Huang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
Internet;
mobile computing;
online front-ends;
program debugging;
program testing;
public domain software;
76.
Understanding and Detecting Callback Compatibility Issues for Android Applications
机译:
了解和检测Android应用程序的回调兼容性问题
作者:
Huaxun Huang
;
Lili Wei
;
Yepang Liu
;
Shing-Chi Cheung
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android API;
empirical study;
static analysis;
callback compatibility;
77.
Improving Automatic Source Code Summarization via Deep Reinforcement Learning
机译:
通过深度强化学习改善自动源代码摘要
作者:
Yao Wan
;
Zhou Zhao
;
Min Yang
;
Guandong Xu
;
Haochao Ying
;
Jian Wu
;
Philip S. Yu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
learning (artificial intelligence);
natural language processing;
neural nets;
software maintenance;
source code (software);
trees (mathematics);
78.
Self-Protection of Android Systems from Inter-component Communication Attacks
机译:
组件间通信攻击对Android系统的自我保护
作者:
Mahmoud Hammad
;
Joshua Garcia
;
Sam Malek
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Android (operating system);
security of data;
79.
Automated Model Repair for Alloy
机译:
合金自动模型修复
作者:
Kaiyuan Wang
;
Allison Sullivan
;
Sarfraz Khurshid
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Model repair;
first-order logic;
ARepair;
80.
SEEDE: Simultaneous Execution and Editing in a Development Environment
机译:
SEEDE:开发环境中的同时执行和编辑
作者:
Steven P. Reiss
;
Qi Xin
;
Jeff Huang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program debugging;
public domain software;
software engineering;
user interfaces;
81.
A Large-Scale Study of Test Coverage Evolution
机译:
测试覆盖范围演变的大规模研究
作者:
Michael Hilton
;
Jonathan Bell
;
Darko Marinov
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Java;
program testing;
software quality;
82.
jStanley: Placing a Green Thumb on Java Collections
机译:
jStanley:在Java集合上大放异彩
作者:
Rui Pereira
;
Pedro Simão
;
Jácome Cunha
;
João Saraiva
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
energy consumption;
green computing;
Java;
software performance evaluation;
software tools;
83.
Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions
机译:
告诉他们:人群规模比较讨论中蒸馏技术的差异
作者:
Yi Huang
;
Chunyang Chen
;
Zhenchang Xing
;
Tian Lin
;
Yang Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
data mining;
Internet;
natural language processing;
pattern clustering;
software engineering;
84.
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
机译:
PaMpeR:Isabelle / HOL的证明方法推荐系统
作者:
Yutaka Nagashima
;
Yilun He
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Isabelle/HOL;
recommendation system;
data mining;
proof method;
interactive theorem prover;
85.
Datalog-Based Scalable Semantic Diffing of Concurrent Programs
机译:
基于数据日志的并发程序的可扩展语义区分
作者:
Chungha Sung
;
Shuvendu K. Lahiri
;
Constantin Enea
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Concurrency;
semantic diffing;
change impact;
static analysis;
race condition;
atomicity;
Datalog;
86.
Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning
机译:
该类是线程安全的吗?使用基于图的学习推断文档
作者:
Andrew Habib
;
Michael Pradel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
concurrency control;
learning (artificial intelligence);
multi-threading;
object-oriented programming;
pattern classification;
program diagnostics;
program verification;
87.
Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration
机译:
笛卡尔:用于检测伪测试方法的PITest引擎:工具演示
作者:
Oscar Luis Vera-Pérez
;
Martin Monperrus
;
Benoit Baudry
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
pseudo-tested methods;
extreme mutation;
mutation testing;
software testing;
PITest;
88.
The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications
机译:
电子分析仪:模型检查关系一阶时间规范
作者:
Julien Brunel
;
David Chemouil
;
Alcino Cunha
;
Nuno Macedo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Formal specification language;
model checking;
model validation;
89.
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores
机译:
DKVF:用于快速原型设计和评估分布式键值存储的框架
作者:
Mohammad Roohitavaf
;
Sandeep Kulkarni
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
protocols;
90.
How Many of All Bugs Do We Find? A Study of Static Bug Detectors
机译:
我们发现多少个错误?静态错误检测器的研究
作者:
Andrew Habib
;
Michael Pradel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Java;
program debugging;
program diagnostics;
91.
An Automated Approach to Estimating Code Coverage Measures via Execution Logs
机译:
通过执行日志自动估算代码覆盖率的方法
作者:
Boyuan Chen
;
Jian Song
;
Peng Xu
;
Xing Hu
;
Zhen Ming Jack Jiang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
program diagnostics;
program testing;
92.
OCELOT: A Search-Based Test-Data Generation Tool for C
机译:
OCELOT:用于C的基于搜索的测试数据生成工具
作者:
Simone Scalabrino
;
Giovanni Grano
;
Dario di Nucci
;
Michele Guerra
;
Andrea de Lucia
;
Harald C. Gall
;
Rocco Oliveto
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
C language;
program testing;
93.
CPA-SymExec: Efficient Symbolic Execution in CPAchecker
机译:
CPA-SymExec:CPAchecker中的高效符号执行
作者:
Dirk Beyer
;
Thomas Lemberger
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
formal verification;
interpolation;
program diagnostics;
program testing;
program verification;
public domain software;
reachability analysis;
software tools;
symbol manipulation;
94.
Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps
机译:
根据经验评估移动应用中的预取和缓存的机会
作者:
Yixue Zhao
;
Paul Wat
;
Marcelo Schmitt Laser
;
Nenad Medvidović
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
cache storage;
mobile computing;
program diagnostics;
storage management;
95.
Efficiently Manifesting Asynchronous Programming Errors in Android Apps
机译:
有效显示Android应用程序中的异步编程错误
作者:
Lingling Fan
;
Ting Sus
;
Sen Chen
;
Guozhu Meng
;
Yang Liu
;
Lihua Xu
;
Geguang Pu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Asynchronous programming error;
testing;
static analysis;
Android;
96.
DroidMate-2: A Platform for Android Test Generation
机译:
DroidMate-2:Android测试生成平台
作者:
Nataniel P. Borges
;
Jenny Hotzkow
;
Andreas Zeller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
test generation;
Android;
97.
VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary
机译:
VulSeeker:基于语义学习的跨平台二进制漏洞寻找者
作者:
Jian Gao
;
Xin Yang
;
Ying Fu
;
Yu Jiang
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
semantic learning;
vulnerability search;
cross-platform binary;
98.
ESBMC 5.0: An Industrial-Strength C Model Checker
机译:
ESBMC 5.0:具有工业实力的C模型检查器
作者:
Mikhail R. Gadelha
;
Felipe R. Monteiro
;
Jeremy Morse
;
Lucas C. Cordeiro
;
Bernd Fischer
;
Denis A. Nicole
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
application program interfaces;
C language;
data structures;
floating point arithmetic;
formal verification;
multi-threading;
production engineering computing;
program verification;
99.
SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation
机译:
SRCIROR:用于C源代码和LLVM中间表示的变异测试的工具集
作者:
Farah Hariri
;
August Shi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
Software Testing;
Mutation Testing;
100.
Effective API Recommendation without Historical Software Repositories
机译:
没有历史软件存储库的有效API推荐
作者:
Xiaoyu Liu
;
LiGuo Huang
;
Vincent Ng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2018年
关键词:
application program interfaces;
graph theory;
learning (artificial intelligence);
recommender systems;
statistical analysis;
意见反馈
回到顶部
回到首页