掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2016
召开地:
Singapore(SG)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The IDE as a scriptable information system
机译:
IDE作为可编写脚本的信息系统
作者:
Dimitar Asenov
;
Peter Müller
;
Lukas Vogel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Visualization;
Heating;
Data visualization;
Information services;
Software;
Engines;
Computer bugs;
2.
Inferring annotations for device drivers from verification histories
机译:
从验证历史推断设备驱动程序的注释
作者:
Zvonimir Pavlinovic
;
Akash Lal
;
Rahul Sharma
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
History;
Kernel;
Manuals;
Performance evaluation;
Simultaneous localization and mapping;
Contracts;
3.
Array length inference for C library bindings
机译:
C库绑定的数组长度推断
作者:
Alisa J. Maas
;
Henrique Nazaré
;
Ben Liblit
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Libraries;
High level languages;
Data mining;
Memory management;
Production;
Safety;
Programming;
4.
APEx: Automated inference of error specifications for C APIs
机译:
APEx:自动推断C API的错误规范
作者:
Yuan Kang
;
Baishakhi Ray
;
Suman Jana
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computer bugs;
Security;
Software;
Libraries;
Documentation;
Algorithm design and analysis;
Robustness;
5.
On essential configuration complexity: Measuring interactions in highly-configurable systems
机译:
关于基本配置复杂性:测量高度可配置系统中的交互
作者:
Jens Meinicke
;
Chu-Pan Wong
;
Christian Kästner
;
Thomas Thüm
;
Gunter Saake
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Meteorology;
Complexity theory;
Quality assurance;
Testing;
Extraterrestrial measurements;
Computer bugs;
Java;
6.
Precise semantic history slicing through dynamic delta refinement
机译:
通过动态增量细化进行精确的语义历史切片
作者:
Yi Li
;
Chenguang Zhu
;
Julia Rubin
;
Marsha Chechik
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
History;
Semantics;
Software;
Heuristic algorithms;
Runtime;
Performance analysis;
Organizations;
7.
Goal-conflict detection based on temporal satisfiability checking
机译:
基于时间可满足性检查的目标冲突检测
作者:
Renzo Degiovanni
;
Nicolas Ricci
;
Dalal Alrajeh
;
Pablo Castro
;
Nazareno Aguirre
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Boundary conditions;
Software;
Cost accounting;
Requirements engineering;
Computational modeling;
Methane;
Standards;
8.
Symbolic execution of stored procedures in database management systems
机译:
数据库管理系统中存储过程的符号执行
作者:
Muhammad Suleman Mahmood
;
Maryam Abdul Ghafoor
;
Junaid Haroon Siddiqui
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Remuneration;
Testing;
Instruments;
Servers;
Analytical models;
Database systems;
9.
Conc-iSE: Incremental symbolic execution of concurrent software
机译:
Conc-iSE:并发软件的增量符号执行
作者:
Shengjian Guo
;
Markus Kusano
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Testing;
Concurrent computing;
Algorithm design and analysis;
Software algorithms;
Computer bugs;
Programming;
10.
Model-based whitebox fuzzing for program binaries
机译:
基于模型的白盒模糊测试程序二进制文件
作者:
Van-Thuan Pham
;
Marcel Böhme
;
Abhik Roychoudhury
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Data models;
Testing;
Computer bugs;
Libraries;
Grammar;
Browsers;
Media;
11.
Symbolic execution of complex program driven by machine learning based constraint solving
机译:
基于机器学习的约束求解驱动的复杂程序的符号执行
作者:
Xin Li
;
Yongjuan Liang
;
Hong Qian
;
Yi-Qi Hu
;
Lei Bu
;
Yang Yu
;
Xin Chen
;
Xuandong Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Optimization;
Libraries;
Engines;
Machine learning algorithms;
Java;
Transforms;
Algorithm design and analysis;
12.
Program generation for performance
机译:
生成程序以提高性能
作者:
Markus Püschel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
software quality;
learning (artificial intelligence);
program compilers;
rewriting systems;
software architecture;
software maintenance;
software performance evaluation;
13.
Changing microsoft's build: Revolution or evolution
机译:
改变微软的架构:革命还是进化
作者:
Wolfram Schulte
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
specification languages;
cache storage;
cloud computing;
parallel machines;
program testing;
software performance evaluation;
14.
The power of probabilistic thinking
机译:
概率思维的力量
作者:
David S. Rosenblum
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
uncertainty handling;
learning (artificial intelligence);
program debugging;
program testing;
program verification;
15.
An empirical investigation into the nature of test smells
机译:
对测试气味性质的实证研究
作者:
Michele Tufano
;
Fabio Palomba
;
Gabriele Bavota
;
Massimiliano Di Penta
;
Rocco Oliveto
;
Andrea De Lucia
;
Denys Poshyvanyk
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Production;
Maintenance engineering;
Data mining;
Testing;
History;
Software systems;
16.
Evaluating non-adequate test-case reduction
机译:
评估不足的测试用例
作者:
Mohammad Amin Alipour
;
August Shi
;
Rahul Gopinath
;
Darko Marinov
;
Alex Groce
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Debugging;
Size measurement;
Computer science;
Electrical engineering;
Fault detection;
Engines;
Software;
17.
Optimizing customized program coverage
机译:
优化定制程序的覆盖范围
作者:
Peter Ohmann
;
David Binqham Brown
;
Naveen Neelakandan
;
Jeff Linderoth
;
Ben Liblit
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Probes;
Software;
Optimization;
Debugging;
Monitoring;
Context;
18.
What makes killing a mutant hard
机译:
是什么使得很难杀死一个突变体
作者:
Willem Visser
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Java;
Testing;
Radiation detectors;
Probabilistic logic;
Measurement;
Software;
19.
Test case permutation to improve execution time
机译:
测试用例排列以缩短执行时间
作者:
Panagiotis Stratis
;
Ajitha Rajan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Optimization;
Software;
Layout;
Software testing;
Informatics;
Complexity theory;
20.
Predicting semantically linkable knowledge in developer online forums via convolutional neural network
机译:
通过卷积神经网络预测开发者在线论坛中的语义可链接知识
作者:
Bowen Xu
;
Deheng Ye
;
Zhenchang Xing
;
Xin Xia
;
Guibin Chen
;
Shanping Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Semantics;
Knowledge engineering;
Software;
Uniform resource locators;
Complex networks;
Machine learning;
Social network services;
21.
Testing advanced driver assistance systems using multi-objective search and neural networks
机译:
使用多目标搜索和神经网络测试高级驾驶员辅助系统
作者:
Raja Ben Abdessalem
;
Shiva Nejati
;
Lionel C. Briand
;
Thomas Stifter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Testing;
Computational modeling;
Predictive models;
Automobiles;
Advanced driver assistance systems;
Software;
22.
Privacy preserving via interval covering based subclass division and manifold learning based bi-directional obfuscation for effort estimation
机译:
通过基于区间覆盖的子类划分和基于歧管学习的双向混淆来保护隐私以进行工作量估计
作者:
Fumin Qi
;
Xiao-Yuan Jing
;
Xiaoke Zhu
;
Fei Wu
;
Li Cheng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Decision support systems;
Data privacy;
Servers;
Radio frequency;
23.
Deep learning code fragments for code clone detection
机译:
用于代码克隆检测的深度学习代码片段
作者:
Martin White
;
Michele Tufano
;
Christopher Vendome
;
Denys Poshyvanyk
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Cloning;
Syntactics;
Software;
Feature extraction;
Machine learning;
Programming;
Transforms;
24.
Automatically recommending code reviewers based on their expertise: An empirical comparison
机译:
根据他们的专业知识自动推荐代码审查者:经验比较
作者:
Christoph Hannebauer
;
Michael Patalas
;
Sebastian Stünkelt
;
Volker Gruhn
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Measurement;
Prediction algorithms;
Software;
Software algorithms;
Algorithm design and analysis;
History;
Machine learning algorithms;
25.
Evaluating the evaluations of code recommender systems: A reality check
机译:
评估代码推荐系统的评估:真实性检查
作者:
Sebastian Proksch
;
Sven Amann
;
Sarah Nadi
;
Mira Mezini
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Context;
Recommender systems;
Software;
Proposals;
Benchmark testing;
MIMICs;
History;
26.
Too much automation? The bellwether effect and its implications for transfer learning
机译:
自动化程度太高?领头效应及其对迁移学习的影响
作者:
Rahul Krishna
;
Tim Menzies
;
Wei Fu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Learning systems;
Testing;
Manuals;
Buildings;
Predictive models;
Complexity theory;
27.
Automatic microbenchmark generation to prevent dead code elimination and constant folding
机译:
自动生成微基准,以防止死码消除和持续折叠
作者:
Marcelino Rodriguez-Cancio
;
Benoit Combemale
;
Benoit Baudry
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Payloads;
Java;
Optimization;
Benchmark testing;
Distortion measurement;
Time measurement;
Software;
28.
Visualization of combinatorial models and test plans
机译:
可视化组合模型和测试计划
作者:
Rachel Tzoref-Brill
;
Paul Wojciak
;
Shahar Maoz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Visualization;
Data visualization;
Atmospheric modeling;
Manuals;
Computational modeling;
Testing;
Image color analysis;
29.
Finding access control bugs in web applications with CanCheck
机译:
使用CanCheck查找Web应用程序中的访问控制错误
作者:
Ivan Bocić
;
Tevfik Bultan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Rails;
Authorization;
Computer bugs;
Data models;
Software;
Databases;
30.
SOFIA: An automated security oracle for black-box testing of SQL-injection vulnerabilities
机译:
SOFIA:用于对SQL注入漏洞进行黑盒测试的自动化安全性预告片
作者:
Mariano Ceccato
;
Cu D. Nguyen
;
Dennis Appelt
;
Lionel C. Briand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Security;
Testing;
Databases;
Payloads;
Context;
Software;
Servers;
31.
Supporting oracle construction via static analysis
机译:
通过静态分析支持Oracle构建
作者:
Junjie Chen
;
Yanwei Bai
;
Dan Hao
;
Lingming Zhang
;
Lu Zhang
;
Bing Xie
;
Hong Mei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software testing;
Probabilistic logic;
Software;
Java;
Fault diagnosis;
32.
Local-based active classification of test report to assist crowdsourced testing
机译:
基于本地的测试报告主动分类,以协助众包测试
作者:
Junjie Wang
;
Song Wang
;
Qiang Cui
;
Qing Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Testing;
Software;
Feature extraction;
Labeling;
Training data;
Speech recognition;
Manuals;
33.
Multi-objective test report prioritization using image understanding
机译:
基于图像理解的多目标测试报告优先级
作者:
Yang Feng
;
James A. Jones
;
Zhenyu Chen
;
Chunrong Fang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Testing;
Mobile communication;
Computer bugs;
Software;
Mobile applications;
Image color analysis;
Inspection;
34.
CrowdService: Serving the individuals through mobile crowdsourcing and service composition
机译:
CrowdService:通过移动众包和服务组合为个人提供服务
作者:
Xin Peng
;
Jingxiao Gu
;
Tian Huat Tan
;
Jun Sun
;
Yijun Yu
;
Bashar Nuseibeh
;
Wenyun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Crowdsourcing;
Web services;
Inspection;
Portable computers;
Mobile communication;
Business;
Mobile handsets;
35.
QUICKAR: Automatic query reformulation for concept location using crowdsourced knowledge
机译:
QUICKAR:使用众包知识对概念位置进行自动查询重构
作者:
Mohammad Masudur Rahman
;
Chanchal K. Roy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Semantics;
Java;
Programming;
Vocabulary;
Databases;
Context;
36.
Taming Android fragmentation: Characterizing and detecting compatibility issues for Android apps
机译:
应对Android碎片化:表征和检测Android应用程序的兼容性问题
作者:
Lili Wei
;
Yepang Liu
;
Shing-Chi Cheung
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Androids;
Humanoid robots;
Computer bugs;
Hardware;
Open source software;
Ecosystems;
37.
Automated model-based Android GUI testing using multi-level GUI comparison criteria
机译:
使用多级GUI比较标准的基于模型的自动化Android GUI测试
作者:
Young-Min Baek
;
Doo-Hwan Bae
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Graphical user interfaces;
Testing;
Androids;
Humanoid robots;
Space exploration;
Analytical models;
Mobile communication;
38.
HybriDroid: Static analysis framework for Android hybrid applications
机译:
HybriDroid:适用于Android混合应用程序的静态分析框架
作者:
Sungho Lee
;
Julian Dolby
;
Sukyoung Ryu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Java;
Androids;
Humanoid robots;
Web pages;
Semantics;
Bridges;
Mobile communication;
39.
Locus: Locating bugs from software changes
机译:
轨迹:查找软件更改中的错误
作者:
Ming Wen
;
Rongxin Wu
;
Shing-Chi Cheung
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computer bugs;
Software;
Debugging;
History;
Information retrieval;
Natural languages;
Manuals;
40.
Fine-tuning spectrum based fault localisation with frequent method item sets
机译:
通过频繁的方法项集微调基于频谱的故障定位
作者:
Gulsher Laghari
;
Alessandro Murgia
;
Serge Demeyer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Spectral analysis;
Debugging;
Software;
Itemsets;
Servers;
Context;
Maintenance engineering;
41.
Recommending relevant classes for bug reports using multi-objective search
机译:
使用多目标搜索为漏洞报告推荐相关的类
作者:
Rafi Almhana
;
Wiem Mkaouer
;
Marouane Kessentini
;
Ali Ouni
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computer bugs;
Search problems;
Software engineering;
Optimization;
Software;
History;
Documentation;
42.
An empirical study on dependence clusters for effort-aware fault-proneness prediction
机译:
依赖集群的努力意识故障倾向预测的实证研究
作者:
Yibiao Yang
;
Mark Harman
;
Jens Krinke
;
Syed Islam
;
David Binkley
;
Yuming Zhou
;
Baowen Xu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Predictive models;
Software quality;
Data models;
Computer science;
Servers;
Syntactics;
43.
StraightTaint: Decoupled offline symbolic taint analysis
机译:
StraightTaint:脱机脱机符号污点分析
作者:
Jiang Ming
;
Dinghao Wu
;
Jun Wang
;
Gaoyao Xiao
;
Peng Liu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Runtime;
Security;
Performance analysis;
Reverse engineering;
Registers;
Malware;
44.
IncA: A DSL for the definition of incremental program analyses
机译:
IncA:用于定义增量程序分析的DSL
作者:
Tamás Szabó
;
Sebastian Erdweg
;
Markus Voelter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Runtime;
DSL;
Java;
Pattern matching;
Program processors;
Optimization;
45.
What developers want and need from program analysis: An empirical study
机译:
开发人员从程序分析中获得的需求和需求:一项实证研究
作者:
Maria Christakis
;
Christian Bird
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Security;
Interviews;
Companies;
Ecosystems;
Software engineering;
Pain;
46.
DistIA: A cost-effective dynamic impact analysis for distributed programs
机译:
DistIA:针对分布式程序的经济高效的动态影响分析
作者:
Haipeng Cai
;
Douglas Thain
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Performance analysis;
Servers;
Algorithm design and analysis;
Clocks;
Software;
Heuristic algorithms;
Message passing;
47.
Radius aware probabilistic testing of deadlocks with guarantees
机译:
保证半径的死锁概率测试
作者:
Yan Cait
;
Zijiang Yang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computer bugs;
System recovery;
Concurrent computing;
Probabilistic logic;
Instruction sets;
Benchmark testing;
48.
LockPeeker: Detecting latent locks in Java APIs
机译:
LockPeeker:检测Java API中的潜在锁
作者:
Ziyi Lin
;
Hao Zhong
;
Yuting Chen
;
Jianjun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
System recovery;
Java;
Testing;
Analytical models;
Computer bugs;
Cryptography;
Software;
49.
Sound static deadlock analysis for C/Pthreads
机译:
C / Pthread的静态静态死锁分析
作者:
Daniel Kroening
;
Daniel Poetzl
;
Peter Schrammel
;
Björn Wachter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
System recovery;
Instruction sets;
Pipelines;
Computer bugs;
Standards;
Concurrent computing;
Scalability;
50.
Static race detection for device drivers: The Goblint approach
机译:
设备驱动程序的静态竞争检测:Goblint方法
作者:
Vesal Vojdani
;
Kalmer Apinis
;
Vootele Rõtov
;
Helmut Seidl
;
Varmo Vene
;
Ralf Vogler
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Decision support systems;
Servers;
51.
An empirical evaluation of two user interfaces of an interactive program verifier
机译:
交互式程序验证程序的两个用户界面的经验评估
作者:
Martin Hentschel
;
Reiner Hähnle
;
Richard Bubel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
User interfaces;
Usability;
Inspection;
Standards;
Java;
52.
Traceability maintenance: Factors and guidelines
机译:
可追溯性维护:因素和准则
作者:
Salome Maro
;
Anthony Anjorin
;
Rebekka Wohlrab
;
Jan-Philipp Steghöfer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Unified modeling language;
Maintenance engineering;
Guidelines;
Software;
Manuals;
Interviews;
Computational modeling;
53.
Usage, costs, and benefits of continuous integration in open-source projects
机译:
开源项目中持续集成的使用,成本和收益
作者:
Michael Hilton
;
Timothy Tunnell
;
Kai Huang
;
Darko Marinov
;
Danny Dig
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Open source software;
Automation;
History;
Tunneling;
Buildings;
Testing;
54.
DSL-maps: From requirements to design of domain-specific languages
机译:
DSL映射:从需求到领域特定语言的设计
作者:
Ana Pescador
;
Juan de Lara
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
DSL;
Syntactics;
Unified modeling language;
Software;
Connectors;
Computational modeling;
Concrete;
55.
Towards bounded model checking using nonlinear programming solver
机译:
使用非线性规划求解器进行有界模型检查
作者:
Masataka Nishi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Model checking;
Convergence;
Software;
Mathematical model;
Encoding;
Programming;
56.
Identifying domain elements from textual specifications
机译:
从文本规范中识别域元素
作者:
Jitendra Singh Thakur
;
Atul Gupta
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Analytical models;
Semantics;
Unified modeling language;
Natural language processing;
Object recognition;
Software;
Marine vehicles;
57.
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching
机译:
使用增量式多模式匹配来不断检测不断发展的面向对象程序中的设计缺陷
作者:
Sven Peldszus
;
Géza Kulcsár
;
Malte Lochau
;
Sandro Schulze
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Motion pictures;
Software metrics;
Object oriented modeling;
Java;
Software maintenance;
58.
Efficient detection of inconsistencies in a multi-developer engineering environment
机译:
在多开发人员工程环境中有效检测不一致之处
作者:
Andreas Demuth
;
Markus Riedl-Ehrenleitner
;
Alexander Egyed
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Unified modeling language;
Context;
Software systems;
Context modeling;
Scalability;
59.
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications
机译:
规格有多好?对现有Java API规范的错误发现有效性的研究
作者:
Owolabi Legunsen
;
Wajih Ul Hassan
;
Xinyue Xu
;
Grigore Roşu
;
Darko Marinov
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Runtime;
Computer bugs;
Monitoring;
Synchronization;
Open source software;
Java;
Testing;
60.
Greedy combinatorial test case generation using unsatisfiable cores
机译:
使用不满意的内核生成贪婪的组合测试用例
作者:
Akihisa Yamada
;
Armin Biere
;
Cyrille Artho
;
Takashi Kitamura
;
Eun-Hye Choi
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Linux;
Browsers;
Approximation algorithms;
Software testing;
Software algorithms;
Software;
61.
Towards automatically generating descriptive names for unit tests
机译:
向单元测试自动生成描述性名称
作者:
Benwen Zhang
;
Emily Hill
;
James Clause
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Testing;
Maintenance engineering;
Software maintenance;
Natural languages;
Semantics;
Prototypes;
62.
Applying combinatorial test data generation to big data applications
机译:
将组合测试数据生成应用于大数据应用
作者:
Nan Li
;
Yu Lei
;
Haider Riaz Khan
;
Jingshu Liu
;
Yun Guo
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Testing;
Databases;
Data mining;
Research and development;
Data models;
63.
Generating test cases to expose concurrency bugs in android applications
机译:
生成测试用例以暴露android应用程序中的并发错误
作者:
Hongyin Tang
;
Guoquan Wu
;
Jun Wei
;
Hua Zhong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Message systems;
Androids;
Humanoid robots;
Concurrent computing;
Computer bugs;
Instruments;
Data models;
64.
Automatic test image generation using procedural noise
机译:
使用程序噪声自动生成测试图像
作者:
Matthew Patrick
;
Matthew D. Castle
;
Richard O. J. H. Stutt
;
Christopher A. Gilligan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Testing;
Genetic algorithms;
White noise;
Histograms;
Imaging;
Image generation;
65.
Move-optimized source code tree differencing
机译:
移动优化的源代码树差异
作者:
Georg Dotzler
;
Michael Philippsen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Optimization;
Open source software;
Runtime;
Complexity theory;
Programming;
History;
66.
Migrating cascading style sheets to preprocessors by introducing mixins
机译:
通过引入mixins将级联样式表迁移到预处理器
作者:
Davood Mazinanian
;
Nikolaos Tsantalis
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Cascading style sheets;
Syntactics;
HTML;
Browsers;
Software;
Semantics;
Libraries;
67.
Automatic runtime recovery via error handler synthesis
机译:
通过错误处理程序综合自动运行时恢复
作者:
Tianxiao Gu
;
Chengnian Sun
;
Xiaoxing Ma
;
Jian Lü
;
Zhendong Su
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Runtime;
Computer bugs;
Java;
Software systems;
Testing;
Resilience;
Androids;
68.
Mining revision histories to detect cross-language clones without intermediates
机译:
挖掘修订历史以检测没有中间语言的跨语言克隆
作者:
Xiao Cheng
;
Zhiming Peng
;
Lingxiao Jiang
;
Hao Zhong
;
Haibo Yu
;
Jianjun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Cloning;
Java;
C# languages;
History;
Grammar;
Software;
69.
Battery-aware transformations in mobile applications
机译:
移动应用中的电池感知转换
作者:
Jürgen Cito
;
Julia Rubin
;
Phillip Stanley-Marbell
;
Martin Rinard
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Batteries;
Mobile communication;
Smart phones;
Androids;
Humanoid robots;
Instruments;
70.
Bugram: Bug detection with n-gram language models
机译:
Bugram:使用n-gram语言模型进行错误检测
作者:
Song Wang
;
Devin Chollak
;
Dana Movshovitz-Attias
;
Lin Tan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computer bugs;
Software;
Programming;
Java;
Buildings;
Semantics;
Software reliability;
71.
Mining input grammars from dynamic taints
机译:
从动态污点中挖掘输入语法
作者:
Matthias Höschele
;
Andreas Zeller
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Grammar;
Protocols;
Uniform resource locators;
Java;
Instruments;
Software;
Ports (Computers);
72.
Phrase-based extraction of user opinions in mobile app reviews
机译:
在移动应用评论中基于短语的用户意见提取
作者:
Phong Minh Vu
;
Hung Viet Pham
;
Tam The Nguyen
;
Tung Thanh Nguyen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Artificial neural networks;
Mobile communication;
Facebook;
Games;
Monitoring;
Batteries;
Computer bugs;
73.
Practical guidelines for change recommendation using association rule mining
机译:
使用关联规则挖掘进行变更建议的实用指南
作者:
Leon Moonen
;
Stefano Di Alesio
;
David Binkley
;
Thomas Rolfsnes
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Couplings;
History;
Data mining;
Software;
Algorithm design and analysis;
Guidelines;
Size measurement;
74.
Learning a dual-language vector space for domain-specific cross-lingual question retrieval
机译:
学习用于特定领域跨语言问题检索的双语言向量空间
作者:
Guibin Chen
;
Chunyang Chen
;
Zhenchang Xing
;
Bowen Xu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Semantics;
Neural networks;
Context;
Google;
Inspection;
Predictive models;
Convolution;
75.
Reflection-aware static analysis of Android apps
机译:
Android应用程序的反射感知静态分析
作者:
Li Li
;
Tegawendé F. Bissyandé
;
Damien Octeau
;
Jacques Klein
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Androids;
Humanoid robots;
Java;
Smart phones;
Coal;
Instruments;
Runtime;
76.
Relda2: An effective static analysis tool for resource leak detection in Android apps
机译:
Relda2:有效的静态分析工具,可用于Android应用程序中的资源泄漏检测
作者:
Tianyong Wu
;
Jierui Liu
;
Xi Deng
;
Jun Yan
;
Jian Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Androids;
Humanoid robots;
Computer bugs;
Smart phones;
Software;
Leak detection;
77.
An end-user oriented tool suite for development of mobile applications
机译:
面向最终用户的工具套件,用于开发移动应用程序
作者:
Zhongyi Zhai
;
Bo Cheng
;
Meng Niu
;
Zhaoning Wang
;
Yimeng Feng
;
Junliang Chen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Mobile communication;
Libraries;
Mobile applications;
Servers;
Web services;
Graphical user interfaces;
Visualization;
78.
Model driven design of heterogeneous synchronous embedded systems
机译:
异构同步嵌入式系统的模型驱动设计
作者:
Huafeng Zhang
;
Yu Jiang
;
Han Liu
;
Hehua Zhang
;
Ming Gu
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computational modeling;
Hardware;
Ports (Computers);
Software;
Generators;
Graphical models;
Semantics;
79.
MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution
机译:
Macke:具有符号执行功能的低级漏洞的成分分析
作者:
Saahil Ognawala
;
Martín Ochoa
;
Alexander Pretschner
;
Tobias Limmer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Computer bugs;
Engines;
Software;
Security;
Memory management;
Complex systems;
Scalability;
80.
BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities
机译:
BovInspector:自动检查和修复缓冲区溢出漏洞
作者:
Fengjuan Gao
;
Linzhang Wang
;
Xuandong Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Maintenance engineering;
Software;
Engines;
Testing;
Inspection;
Reachability analysis;
Explosions;
81.
CORRECT: Code reviewer recommendation at GitHub for Vendasta technologies
机译:
正确:GitHub上针对Vendasta技术的代码审查员建议
作者:
Mohammad Masudur Rahman
;
Chanchal K. Roy
;
Jesse Redl
;
Jason A. Collins
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
History;
Software;
Libraries;
Browsers;
Collaboration;
Authentication;
Encoding;
82.
ProcessPAIR: A tool for automated performance analysis and improvement recommendation in software development
机译:
ProcessPAIR:在软件开发中用于自动化性能分析和改进建议的工具
作者:
Mushtaq Raza
;
João Pascoal Faria
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Calibration;
Unified modeling language;
Sensitivity;
Software;
Performance analysis;
Statistical distributions;
Estimation;
83.
CVExplorer: Identifying candidate developers by mining and exploring their open source contributions
机译:
CVExplorer:通过挖掘和探索他们的开源贡献来识别候选开发者
作者:
Gillian J. Greene
;
Bernd Fischer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Java;
Tag clouds;
Data mining;
Software;
Aggregates;
Data visualization;
84.
Lightweight collection and storage of software repository data with DataRover
机译:
使用DataRover轻量级收集和存储软件存储库数据
作者:
Thomas Kowark
;
Christoph Matthies
;
Matthias Uflacker
;
Hasso Plattner Hasso Plattner
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Databases;
Data collection;
Programming;
Collaboration;
Couplings;
Monitoring;
85.
Visual contract extractor: A tool for reverse engineering visual contracts using dynamic analysis
机译:
可视合同提取器:使用动态分析对可视合同进行逆向工程的工具
作者:
Abdullah Alshanqiti
;
Reiko Heckel
;
Timo Kehrer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Contracts;
Visualization;
Object oriented modeling;
Unified modeling language;
Java;
Reverse engineering;
Analytical models;
86.
SuperMod: Tool support for collaborative filtered model-driven software product line engineering
机译:
SuperMod:协作过滤模型驱动的软件产品线工程的工具支持
作者:
Felix Schwäger
;
Bernhard Westfechtel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Unified modeling language;
Software product lines;
Collaboration;
Control systems;
Computational modeling;
Software;
Metadata;
87.
AnModeler: A tool for generating domain models from textual specifications
机译:
AnModeler:根据文本规范生成域模型的工具
作者:
Jitendra Singh Thakur
;
Atul Gupta
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Analytical models;
Object oriented modeling;
Software;
Unified modeling language;
Industries;
Visualization;
Java;
88.
SimilarTech: Automatically recommend analogical libraries across different programming languages
机译:
类似技术:自动推荐跨不同编程语言的类比库
作者:
Chunyang Chen
;
Zhenchang Xing
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Libraries;
Java;
Knowledge based systems;
Operating systems;
Tagging;
Mobile communication;
89.
TeeVML: Tool support for semi-automatic integration testing environment emulation
机译:
TeeVML:半自动集成测试环境仿真的工具支持
作者:
Jian Liu
;
John Grundy
;
Iman Avazpour
;
Mohamed Abdelrazek
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Testing;
Software;
Emulation;
Unified modeling language;
Protocols;
Visualization;
Banking;
90.
The interactive verification debugger: Effective understanding of interactive proof attempts
机译:
交互式验证调试器:有效理解交互式证明尝试
作者:
Martin Hentschel
;
Reiner Hähnle
;
Richard Bubel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Java;
Inspection;
Software;
Visualization;
Indexes;
User interfaces;
Debugging;
91.
Verifying Simulink Stateflow model: Timed automata approach
机译:
验证Simulink Stateflow模型:定时自动机方法
作者:
Yixiao Yang
;
Yu Jiang
;
Ming Gu
;
Jiaguang Sun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Automata;
Software packages;
Switches;
Clocks;
Junctions;
Semantics;
Synchronization;
92.
GUICat: GUI testing as a service
机译:
GUICat:GUI测试即服务
作者:
Lin Cheng
;
Jialiang Chang
;
Zijiang Yang
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Graphical user interfaces;
Testing;
Instruments;
Cloud computing;
Explosions;
Java;
Computational modeling;
93.
An automated collaborative requirements engineering tool for better validation of requirements
机译:
一个自动化的协作需求工程工具,可以更好地验证需求
作者:
Nor Aiza Moketar
;
Massila Kamalrudin
;
Safiah Sidek
;
Mark Robinson
;
John Grundy
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Collaboration;
Stakeholders;
Software;
Testing;
User interfaces;
Libraries;
Prototypes;
94.
An extensible framework for variable-precision data-flow analyses in MPS
机译:
MPS中用于可变精度数据流分析的可扩展框架
作者:
Tamás Szabó
;
Simon Alperovich
;
Sebastian Erdweg
;
Markus Voelter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
DSL;
Lattices;
Syntactics;
Algorithm design and analysis;
Software;
Encoding;
Switches;
95.
Towards efficient and effective automatic program repair
机译:
寻求高效有效的自动程序修复
作者:
Xuan-Bach D. Le
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Maintenance engineering;
Computer bugs;
History;
Software;
Semantics;
Syntactics;
Search problems;
96.
Automated testing and notification of mobile app privacy leak-cause behaviours
机译:
自动化测试和通知移动应用程序隐私泄露原因行为
作者:
Joseph Chan Joo Keng
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Privacy;
Testing;
Data privacy;
Androids;
Humanoid robots;
Smart phones;
Mobile communication;
97.
Factoring requirement dependencies in software requirement selection using graphs and integer programming
机译:
使用图和整数编程在软件需求选择中分解需求依存关系
作者:
Davoud Mougouei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Software;
Computational modeling;
Planning;
Linear programming;
Requirements engineering;
Complexity theory;
Optimization;
98.
Statistical analysis of large sets of models
机译:
大型模型的统计分析
作者:
Önder Babur
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Biological system modeling;
Analytical models;
Computational modeling;
Feature extraction;
Merging;
Data models;
Natural language processing;
99.
Developer targeted analytics: Supporting software development decisions with runtime information
机译:
针对开发人员的分析:通过运行时信息支持软件开发决策
作者:
Jürgen Cito
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Runtime;
Uncertainty;
Production;
Decision making;
Software performance;
Computational modeling;
100.
API recommendation system for software development
机译:
用于软件开发的API推荐系统
作者:
Ferdian Thung
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Libraries;
Feature extraction;
Training;
Software;
Databases;
History;
Context;
意见反馈
回到顶部
回到首页