掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE/ACM International Conference on Automated Software Engineering
IEEE/ACM International Conference on Automated Software Engineering
召开年:
2012
召开地:
Essen(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
1176
条结果
1.
GUICat: GUI testing as a service
机译:
吉卡: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;
2.
Too much automation? The bellwether effect and its implications for transfer learning
机译:
太多的自动化? Bellwether效应及其对转移学习的影响
作者:
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;
3.
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;
4.
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;
5.
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;
6.
Sound static deadlock analysis for C/Pthreads
机译:
C / Pthreads的声音静态死锁分析
作者:
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;
7.
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;
8.
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;
9.
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;
10.
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;
11.
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;
12.
CORRECT: Code reviewer recommendation at GitHub for Vendasta technologies
机译:
正确:Github的代码审阅者推荐用于Vendasta Technologies
作者:
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;
13.
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;
14.
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;
15.
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;
16.
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;
17.
SOFIA: An automated security oracle for black-box testing of SQL-injection vulnerabilities
机译:
SOFIA:用于SQL注入漏洞的黑匣子测试的自动安全oracle
作者:
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;
18.
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;
19.
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;
20.
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;
21.
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;
22.
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;
23.
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;
24.
Bugram: Bug detection with n-gram language models
机译:
Bugram:使用n克语言模型进行错误检测
作者:
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;
25.
MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution
机译:
摩克:符号执行的低级漏洞的组成分析
作者:
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;
26.
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;
27.
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;
28.
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;
29.
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;
30.
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;
31.
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;
32.
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;
33.
Radius aware probabilistic testing of deadlocks with guarantees
机译:
RADIUS意识到具有保证的死锁的概率测试
作者:
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;
34.
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;
35.
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;
36.
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;
37.
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;
38.
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;
39.
Model-based whitebox fuzzing for program binaries
机译:
用于程序二进制文件的模型的Whitebox模糊
作者:
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;
40.
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;
41.
SimilarTech: Automatically recommend analogical libraries across different programming languages
机译:
Similartech:在不同的编程语言中自动推荐模拟图书馆
作者:
Chunyang Chen
;
Zhenchang Xing
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2016年
关键词:
Libraries;
Java;
Knowledge based systems;
Operating systems;
Tagging;
Mobile communication;
42.
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;
43.
Static race detection for device drivers: The Goblint approach
机译:
设备驱动程序的静态竞争检测:液体方法
作者:
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;
44.
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;
45.
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;
46.
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;
47.
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;
48.
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;
49.
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;
50.
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;
51.
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;
52.
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;
53.
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;
54.
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;
55.
LED: Tool for Synthesizing Web Element Locators
机译:
LED:用于合成Web元素定位器的工具
作者:
Kartik Bajaj
;
Karthik Pattabiraman
;
Ali Mesbah
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Program synthesis;
Programming by example;
Element locators;
CSS selectors;
Web applications;
56.
Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code
机译:
用于源代码的多相统计迁移的划分和征服方法
作者:
Anh Tuan Nguyen
;
Tung Thanh Nguyen
;
Tien N. Nguyen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
57.
Automatically Generating Test Templates from Test Names
机译:
自动生成从测试名称生成测试模板
作者:
Benwen Zhang
;
Emily Hill
;
James Clause
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
58.
Study and Refactoring of Android Asynchronous Programming
机译:
Android异步编程的研究与重构
作者:
Yu Lin
;
Semih Okur
;
Danny Dig
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
59.
An Automated Framework for Recommending Program Elements to Novices
机译:
用于将程序元素推荐给新手的自动框架
作者:
Kurtis Zimmerman
;
Chandan R. Rupakheti
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Recommendation Framework;
Pq-Gram Algorithm;
60.
Measuring Object-Oriented Design Principles
机译:
测量面向对象的设计原则
作者:
Johannes Braeuer
;
Reinhold Ploesch
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Design principles;
Software-design quality;
Software-design assessment method;
Design model;
61.
The iMPAcT Tool: Testing UI Patterns on Mobile Applications
机译:
影响工具:在移动应用程序上测试UI模式
作者:
Ines Coimbra Morgado
;
Ana C. R. Paiva
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Mobile Testing;
UI Patterns;
Pattern-based testing;
Reverse Engineering;
62.
String Analysis of Android Applications
机译:
Android应用程序的字符串分析
作者:
Justin Del Vecchio
;
Feng Shen
;
Kenny M. Yee
;
Boyu Wang
;
Steven Y. Ko
;
Lukasz Ziarek
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
63.
Recommending API Usages for Mobile Apps with Hidden Markov Model
机译:
推荐使用隐藏的马尔可夫模型的移动应用程序的API用法
作者:
Tam The Nguyen
;
Hung Viet Pham
;
Phong Minh Vu
;
Tung Thanh Nguyen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Statistical code completion;
API usage;
64.
CRUST: A Bounded Verifier for Rust
机译:
CRUST:锈病的有界验证者
作者:
John Toman
;
Stuart Pernsteiner
;
Emina Torlak
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
SMT-based verification;
Test generation;
Memory safety;
65.
MetaMod: a modeling formalism with modularity at its core
机译:
Metamod:核心模块化的建模形式主义
作者:
Ana-Maria Sutii
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
66.
Synergizing Specification Miners through Model Fissions and Fusions
机译:
通过模型排泄和融合来协同规格矿工
作者:
Tien-Duy B. Le
;
Xuan-Bach D. Le
;
David Lo
;
Ivan Beschastnikh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Specification Mining;
Synergizing Miners;
Model Fission;
Model Fusion;
67.
Understanding, Refactoring, and Fixing Concurrency in C#
机译:
在C#中理解,重构和修复并发性
作者:
Semih Okur
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
68.
Region and Effect Inference for Safe Parallelism
机译:
区域和效果推断安全并行
作者:
Alexandros Tzannes
;
Stephen T. Heumann
;
Lamyaa Eloussi
;
Mohsen Vakilian
;
Vikram S. Adve
;
Michael Han
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
69.
Tool Support for Analyzing Mobile App Reviews
机译:
工具支持分析移动应用程序评论
作者:
Phong Minh Vu
;
Hung Viet Pham
;
Tam The Nguyen
;
Tung Thanh Nguyen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
App Review;
Opinion Mining;
Keyword;
70.
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses
机译:
利用域和程序结构来合成高效和精确的数据流分析
作者:
Elena Sherman
;
Matthew B. Dwyer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
71.
CIVL: Formal Verification of Parallel Programs
机译:
CIVL:正式验证并行计划
作者:
Manchun Zheng
;
Michael S. Rogers
;
Ziqing Luo
;
Matthew B. Dwyer
;
Stephen F. Siegel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
72.
Generating Qualifiable Avionics Software: An Experience Report
机译:
生成合适的航空电子软件:经验报告
作者:
Andreas Wolfl
;
Norbert Siegmund
;
Sven Apel
;
Harald Kosch
;
Johann Krautlager
;
Guillermo Weber-Urbina
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
73.
Learning to Generate Pseudo-code from Source Code using Statistical Machine Translation
机译:
学习使用统计机器翻译从源代码生成伪代码
作者:
Yusuke Oda
;
Hiroyuki Fudaba
;
Graham Neubig
;
Hideaki Hata
;
Sakriani Sakti
;
Tomoki Toda
;
Satoshi Nakamura
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Algorithms;
Education;
Statistical Approach;
74.
'What parts of your apps are loved by users?'
机译:
“用户喜欢的应用程序是什么?”
作者:
Xiaodong Gu
;
Sunghun Kim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Review Summarization;
User Feedback;
Sentiment Analysis;
Data Mining;
75.
CLAMI: Defect Prediction on Unlabeled Datasets
机译:
Clami:未标记数据集的缺陷预测
作者:
Jaechang Nam
;
Sunghun Kim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
76.
Model-Driven Allocation Engineering
机译:
模型驱动分配工程
作者:
Uwe Pohlmann
;
Marcus Huwe
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
77.
Development History Granularity Transformations
机译:
开发历史粒度变换
作者:
Kivanc Muslu
;
Luke Swart
;
Yuriy Brun
;
Michael D. Ernst
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
78.
How Verified is My Code? Falsification-Driven Verification
机译:
如何验证是我的代码?伪造驱动的验证
作者:
Alex Groce
;
Iftekhar Ahmed
;
Carlos Jensen
;
Paul E. McKenney
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
79.
Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling
机译:
通过实用DOM建模野生JavaScript Web应用的静态分析
作者:
Changhee Park
;
Sooncheol Won
;
Joonho Jin
;
Sukyoung Ryu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
80.
Covert Communication in Mobile Applications
机译:
移动应用中的封面通信
作者:
Julia Rubin
;
Michael I. Gordon
;
Nguyen Nguyen
;
Martin Rinard
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
81.
Reverse Engineering Mobile Application User Interfaces With REMAUI
机译:
反向工程移动应用程序用户界面与Remaui
作者:
Tuan Anh Nguyen
;
Christoph Csallner
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
82.
General LTL Specification Mining
机译:
通用LTL规范采矿
作者:
Caroline Lemieux
;
Dennis Park
;
Ivan Beschastnikh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
83.
Interpolation Guided Compositional Verification
机译:
插值导游组成验证
作者:
Shang-Wei Lin
;
Jun Sun
;
Truong Khanh Nguyen
;
Yang Liu
;
Jin Song Dong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Model checking;
Automatic compositional verifica- tion;
Satisfiability;
Interpolation;
84.
Fixing Recurring Crash Bugs via Analyzing QA Sites
机译:
通过分析Q&A站点来修复重复崩溃错误
作者:
Qing Gao
;
Hansheng Zhang
;
Jie Wang
;
Yingfei Xiong
;
Lu Zhang
;
Hong Mei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
85.
Learning to Rank for Question-Oriented Software Text Retrieval
机译:
学习为面向问题的软件文本检索等级
作者:
Yanzhen Zou
;
Ting Ye
;
Yangyang Lu
;
John Mylopoulos
;
Lu Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
86.
Repairing Programs with Semantic Code Search
机译:
修复语义代码搜索的程序
作者:
Yalin Ke
;
Kathryn T. Stolee
;
Claire Le Goues
;
Yuriy Brun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
87.
Semantic Slicing of Software Version Histories
机译:
软件版历史的语义切片
作者:
Yi Li
;
Julia Rubin
;
Marsha Chechik
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Software changes;
Version history;
Dependency;
88.
SiPL - A Delta-based Modeling Framework For Software Product Line Engineering
机译:
SIPL - 软件产品线路工程的基于三角洲的建模框架
作者:
Christopher Pietsch
;
Timo Kehrer
;
Udo Kelter
;
Dennis Reuling
;
Manuel Ohrndorf
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
89.
A Message-Passing Architecture Without Public Ids using Send-to-Behavior
机译:
使用发送到行为的没有公共ID的消息传递架构
作者:
Eric Shing-Suan Wang
;
Zhe Dang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Behavior composition;
Message passing;
Multi node;
90.
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs
机译:
Lazy-CSEQ:多线程C程序的上下文模型检查工具
作者:
Omar Inverso
;
Truc L. Nguyen
;
Bernd Fischer
;
Salvatore La Torre
;
Gennaro Parlato
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
91.
Extracting Visual Contracts from Java Programs
机译:
从Java程序中提取视觉契约
作者:
Abdullah Alshanqiti
;
Reiko Heckel
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
92.
Mutation-Based Fault Localization for Real-World Multilingual Programs
机译:
基于突变的现实世界多语言程序的故障定位
作者:
Shin Hong
;
Byeongcheol Lee
;
Taehoon Kwak
;
Yiru Jeon
;
Bongsuk Ko
;
Yunho Kim
;
Moonzoo Kim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
93.
Fuzzing the Rust Typechecker Using CLP
机译:
使用CLP模糊生锈类型
作者:
Kyle Dewey
;
Jared Roesch
;
Ben Hardekopf
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
94.
Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages
机译:
对响应网页的更改后,自动检测潜在的布局故障
作者:
Thomas A. Walsh
;
Phil McMinn
;
Gregory M. Kapfhammer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
95.
Evolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation
机译:
使用模型和数据突变的数据处理系统的进化稳健性测试
作者:
Daniel Di Nardo
;
Fabrizio Pastore
;
Andrea Arcuri
;
Lionel Briand
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
96.
Efficient Data Model Verification with Many-Sorted Logic
机译:
具有多种排序逻辑的高效数据模型验证
作者:
Ivan Bocic
;
Tevfik Bultan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
97.
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents
机译:
隐式控制流的静态分析:解决Java反射和Android Intentent
作者:
Paulo Barros
;
Rene Just
;
Suzanne Millstein
;
Paul Vines
;
Werner Dietl
;
Marcelo dAmorim
;
Michael D. Ernst
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
98.
Experiences from Designing and Validating a Software Modernization Transformation
机译:
设计和验证软件现代化转型的经验
作者:
Alexandru F. Iosif-Lazar
;
Juha Erik Savolainen
;
Ahmad Salim Al-Sibahi
;
Krzysztof Sierszecki
;
Aleksandar S. Dimovski
;
Andrzej Wasowski
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Experience Report;
Functional Equivalence;
Program Transformation;
Symbolic Execution;
99.
GRT: Program-Analysis-Guided Random Testing
机译:
GRT:程序分析引导的随机测试
作者:
Lei Ma
;
Cyrille Artho
;
Cheng Zhang
;
Hiroyuki Sato
;
Johannes Gmeiner
;
Rudolf Ramler
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Automatic test generation;
Random testing;
Static analysis;
Dynamic analysis;
100.
Synthesizing Web Element Locators
机译:
合成Web元件定位器
作者:
Kartik Bajaj
;
Karthik Pattabiraman
;
Ali Mesbah
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Program synthesis;
Programming by example;
Element locators;
CSS selectors;
Web applications;
上一页
1
2
3
4
5
6
7
8
9
10
11
下一页
意见反馈
回到顶部
回到首页