掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
1.
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;
2.
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;
3.
FLYAQ: Enabling Non-Expert Users to Specify and Generate Missions of Autonomous Multicopters
机译:
Flyaq:启用非专家用户指定和生成自主多功能的任务
作者:
Darko Bozhinoski
;
Davide Di Ruscio
;
Ivano Malavolta
;
Patrizio Pelliccione
;
Massimo Tivoli
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
4.
Investigating Program Behavior Using the Texada LTL Specifications Miner
机译:
使用Texada LTL规范矿工调查计划行为
作者:
Caroline Lemieux
;
Ivan Beschastnikh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
5.
Cost-Efficient Sampling for Performance Prediction of Configurable Systems
机译:
用于可配置系统性能预测的经济高效采样
作者:
Atri Sarkar
;
Jianmei Guo
;
Norbert Siegmund
;
Sven Apel
;
Krzysztof Czarnecki
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
6.
Pseudogen: A Tool to Automatically Generate Pseudo-code from Source Code
机译:
pseudogen:一种从源代码自动生成伪代码的工具
作者:
Hiroyuki Fudaba
;
Yusuke Oda
;
Koichi Akabe
;
Graham Neubig
;
Hideaki Hata
;
Sakriani Sakti
;
Tomoki Toda
;
Satoshi Nakamura
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
7.
ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs
机译:
ActivitySpace:一种支持互动信息需求的纪念框架
作者:
Lingfeng Bao
;
Deheng Ye
;
Zhenchang Xing
;
Xin Xia
;
Xinyu Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
8.
Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports
机译:
将深度学习与信息检索结合起来,以本地化错误报告的错误文件
作者:
An Ngoc Lam
;
Anh Tuan Nguyen
;
Hoan Anh Nguyen
;
Tien N. Nguyen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
9.
Executing Model-based Tests on Platform-specific Implementations
机译:
在特定于平台的实现上执行基于模型的测试
作者:
Dongjiang You
;
Sanjai Rayadurgam
;
Mats P. E. Heimdahl
;
John Komp
;
BaekGyu Kim
;
Oleg Sokolsky
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
10.
Predicting Delays in Software Projects Using Networked Classification
机译:
使用网络分类预测软件项目的延迟
作者:
Morakot Choetkiertikul
;
Hoa Khanh Dam
;
Truyen Tran
;
Aditya Ghose
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
11.
Model Checking Task Parallel Programs using Gradual Permissions
机译:
模型检查任务并行程序使用渐进权限
作者:
Eric G. Mercer
;
Peter Anderson
;
Nick Vrvilo
;
Vivek Sarkar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
12.
How Do Developers Document Database Usages in Source Code?
机译:
开发人员如何在源代码中记录数据库使用?
作者:
Mario Linares-Vasquez
;
Boyang Li
;
Christopher Vendome
;
Denys Poshyvanyk
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
13.
Refactorings for Android Asynchronous Programming
机译:
Android异步编程的重构
作者:
Yu Lin
;
Danny Dig
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
14.
Mining User Opinions in Mobile App Reviews: A Keyword-based Approach
机译:
在移动应用程序中挖掘用户意见评论:基于关键字的方法
作者:
Phong Minh Vu
;
Tam The Nguyen
;
Hung Viet Pham
;
Tung Thanh Nguyen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Opinion Mining;
Review Analysis;
Keyword;
15.
A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data
机译:
基于概念的半结构化软件工程数据探索的通用框架
作者:
Gillian J. Greene
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
16.
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges
机译:
自动生成的单元测试找到真正的故障吗?有效性与挑战的实证研究
作者:
Sina Shamshiri
;
Rene Just
;
Jose Miguel Rojas
;
Gordon Fraser
;
Phil McMinn
;
Andrea Arcuri
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
17.
SpyREST in Action: An Automated RESTful API Documentation Tool
机译:
Spyrest在行动中:自动化RESTFUL API文档工具
作者:
S. M. Sohan
;
Craig Anslow
;
Frank Maurer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
RESTful API;
Web API;
Documentation;
Automa- tion;
Example based documentation;
18.
Array Shadow State Compression for Precise Dynamic Race Detection
机译:
阵列阴影状态压缩,用于精确动态竞争检测
作者:
James R. Wilcox
;
Parker Finch
;
Cormac Flanagan
;
Stephen N. Freund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Concurrency;
Data race detection;
Dynamic analysis;
19.
Clone Merge - An Eclipse plugin to abstract near-clone C++ methods
机译:
克隆合并 - 以摘要近克隆C ++方法的Eclipse插件
作者:
Krishna Narasimhan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
20.
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
机译:
设备驱动程序中的并发错误的快速和精确符号分析
作者:
Pantazis Deligiannis
;
Alastair F. Donaldson
;
Zvonimir Rakamaric
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
21.
SpyREST: Automated RESTful API Documentation using an HTTP Proxy Server
机译:
Spyrest:使用HTTP代理服务器自动化RESTFUL API文档
作者:
S. M. Sohan
;
Craig Anslow
;
Frank Maurer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
RESTful API;
Web API;
Documentation;
Automa- tion;
Example based documentation;
22.
Synthesising Interprocedural Bit-Precise Termination Proofs
机译:
综合移植钻头精确终止证明
作者:
Hong-Yi Chen
;
Cristina David
;
Daniel Kroening
;
Peter Schrammel
;
Bjorn Wachter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
23.
Variable Feature Usage Patterns in PHP
机译:
PHP中的变量功能使用模式
作者:
Mark Hills
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
24.
Quantification of Software Changes through Probabilistic Symbolic Execution
机译:
通过概率符号执行量化软件的量化
作者:
Antonio Filieri
;
Corina S. Pasareanu
;
Guowei Yang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
25.
Automating the Extraction of Model-based Software Product Lines from Model Variants
机译:
从模型变体自动化基于模型的软件产品线的提取
作者:
Jabier Martinez
;
Tewfik Ziadi
;
Tegawende F. Bissyande
;
Jacques Klein
;
Yves le Traon
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
26.
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation
机译:
TCA:一种用于组合试验生成的有效的两模元启发式算法
作者:
Jinkun Lin
;
Chuan Luo
;
Shaowei Cai
;
Kaile Su
;
Dan Hao
;
Lu Zhang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
27.
Ensemble Methods for App Review Classification: An Approach for Software Evolution
机译:
应用程序审查分类的合奏方法:软件演进方法
作者:
Emitza Guzman
;
Muhammad El-Halaby
;
Bernd Bruegge
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
28.
Model-based Testing of Stateful APIs with Modbat
机译:
基于模型的Modbat的状态测试
作者:
Cyrille Artho
;
Martina Seidl
;
Quentin Gros
;
Eun-Hye Choi
;
Takashi Kitamura
;
Akira Mori
;
Rudolf Ramler
;
Yoriyuki Yamagata
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Model-based testing;
Software test tools;
Domain-specific language;
Extended finite-state machines;
Component-based systems;
Exception testing;
29.
Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work
机译:
跟踪和分析开发人员日常工作中的跨领域活动
作者:
Lingfeng Bao
;
Zhenchang Xing
;
Xinyu Wang
;
Bo Zhou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
30.
Stability of Self-adaptive Software Architectures
机译:
自适应软件架构的稳定性
作者:
Maria Salama
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
31.
GRT: An Automated Test Generator using Orchestrated Program Analysis
机译:
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;
Bug de- tection;
Static analysis;
Dynamic analysis;
32.
Have We Seen Enough Traces?
机译:
我们有足够的痕迹吗?
作者:
Hila Cohen
;
Shahar Maoz
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
33.
Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned
机译:
开发基于DSL的基于事件的方法,用于系统系统系统:经验和经验教训
作者:
Michael Vierhauser
;
Rick Rabiser
;
Paul Grunbacher
;
Alexander Egyed
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Systems of systems;
Requirements monitoring;
Constraint checking;
Domain-specific languages;
34.
Copy and Paste Redeemed
机译:
复制和粘贴兑换
作者:
Krishna Narasimhan
;
Christoph Reichenbach
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
35.
Tracking the Software Quality of Android Applications along their Evolution
机译:
沿着他们的演变跟踪Android应用程序的软件质量
作者:
Geoffrey Hecht
;
Omar Benomar
;
Romain Rouvoy
;
Naouel Moha
;
Laurence Duchien
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Android;
Antipattern;
Mobile app;
Software quality;
36.
Development Emails Content Analyzer: Intention Mining in Developer Discussions
机译:
开发电子邮件内容分析仪:意图挖掘开发人员讨论
作者:
Andrea Di Sorbo
;
Sebastiano Panichella
;
Corrado A. Visaggio
;
Massimiliano Di Penta
;
Gerardo Canfora
;
Harald C. Gall
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Unstructured Data Mining;
Natural Language Pro- cessing;
Empirical Study;
37.
CodeHow: Effective Code Search based on API Understanding and Extended Boolean Model
机译:
CodeHow:基于API理解和扩展布尔模型的有效代码搜索
作者:
Fei Lv
;
Hongyu Zhang
;
Jian-guang Lou
;
Shaowei Wang
;
Dongmei Zhang
;
Jianjun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
38.
Scaling Size and Parameter Spaces in Variability-aware Software Performance Models
机译:
可变性感知软件性能模型中的缩放大小和参数空间
作者:
Matthias Kowal
;
Max Tschaikowski
;
Mirco Tribastone
;
Ina Schaefer
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
39.
Generating Fixtures for JavaScript Unit Testing
机译:
生成JavaScript单元测试的固定装置
作者:
Amin Milani Fard
;
Ali Mesbah
;
Eric Wohlstadter
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Test fixture;
Test generation;
Dynamic symbolic exe- cution;
Concolic execution;
DOM;
JavaScript;
Web applications;
40.
Performance Prediction of Configurable Software Systems by Fourier Learning
机译:
傅立叶学习的可配置软件系统的性能预测
作者:
Yi Zhang
;
Jianmei Guo
;
Eric Blais
;
Krzysztof Czarnecki
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
41.
The REMINDS Tool Suite for Runtime Monitoring of Systems of Systems
机译:
提醒工具套件用于系统系统的运行时监控
作者:
Michael Vierhauser
;
Rick Rabiser
;
Paul Grunbacher
;
Jurgen Thanhofer-Pilisch
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
System of systems;
Runtime monitoring;
Tool support;
42.
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering
机译:
基于概率模型的搜索合成,用于服务质量软件工程
作者:
Simos Gerasimou
;
Giordano Tamburrelli
;
Radu Calinescu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
43.
Test Analysis: Searching for Faults in Tests
机译:
测试分析:搜索测试中的故障
作者:
Matias Waterloo
;
Suzette Person
;
Sebastian Elbaum
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
44.
Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest
机译:
使用结构共性和感兴趣程度来检测断点
作者:
Raffi Khatchadourian
;
Awais Rashid
;
Hidehiko Masuhara
;
Takuya Watanabe
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
45.
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis With Unbounded Access Paths
机译:
访问路径抽象:使用无界访问路径进行缩放现场敏感数据流分析
作者:
Johannes Lerch
;
Johannes Spath
;
Eric Bodden
;
Mira Mezini
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
46.
Optimistic Shared Memory Dependence Tracing
机译:
乐观共享内存依赖跟踪
作者:
Yanyan Jiang
;
Du Li
;
Chang Xu
;
Xiaoxing Ma
;
Jian Lu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Concurrency;
Shared memory dependence;
Dynamic analysis;
47.
Automated Test Input Generation for Android: Are We There Yet?
机译:
适用于Android的自动测试输入生成:我们是否有?
作者:
Shauvik Roy Choudhary
;
Alessandra Gorla
;
Alessandro Orso
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
48.
Configuration-Aware Change Impact Analysis
机译:
配置感知更改影响分析
作者:
Florian Angerer
;
Andreas Grimmer
;
Herbert Prahofer
;
Paul Grunbacher
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Change impact analysis;
Program analysis;
Mainte- nance;
Configuration;
49.
DRIVER - A platform for collaborative framework understanding
机译:
司机 - 合作框架理解的平台
作者:
Nuno Flores
;
Ademar Aguiar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
50.
CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context
机译:
codeexchange:支持上下文中的Internet-Scale代码查询的重新计算
作者:
Lee Martie
;
Thomas D. LaToza
;
Andre van der Hoek
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Code search;
Query reformulation;
Context;
Inter- face;
Internet-scale;
51.
Dynamically Testing GUIs Using Ant Colony Optimization
机译:
使用蚁群优化动态测试GUI
作者:
Santo Carino
;
James H. Andrews
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
52.
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications
机译:
实际调谐静态分析框架,用于大型JavaScript应用程序
作者:
Yoonseok Ko
;
Hongki Lee
;
Julian Dolby
;
Sukyoung Ryu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
53.
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs
机译:
jacontebe:真实世界Java并发漏洞的基准套件
作者:
Ziyi Lin
;
Darko Marinov
;
Hao Zhong
;
Yuting Chen
;
Jianjun Zhao
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
关键词:
Java concurrency bugs;
Evaluations;
Benchmark suite;
SIR;
JaConTeBe;
54.
Automated Tagging of Software Projects using Bytecode and Dependencies
机译:
使用字节码和依赖项自动标记软件项目
作者:
Santiago Vargas-Baldrich
;
Mario Linares-Vasquez
;
Denys Poshyvanyk
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
55.
Static Window Transition Graphs for Android
机译:
用于Android的静态窗口过渡图
作者:
Shengqian Yang
;
Hailong Zhang
;
Haowei Wu
;
Yan Wang
;
Dacong Yan
;
Atanas Rountev
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
56.
Testing Cross-Platform Mobile App Development Frameworks
机译:
测试跨平台移动应用程序开发框架
作者:
Nader Boushehrinejadmoradi
;
Vinod Ganapathy
;
Santosh Nagarakatte
;
Liviu Iftode
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2015年
57.
Test suite parallelization in open-source projects: A study on its usage and impact
机译:
开源项目中的测试套件并行化:对其使用和影响的研究
作者:
Jeanderson Candido
;
Luis Melo
;
Marcelo dAmorim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Parallel processing;
Java;
Open source software;
Resistance;
Electrical resistance measurement;
Instruction sets;
58.
Towards the Automatic Classification of Traceability Links
机译:
朝向可追溯性链路的自动分类
作者:
Chris Mills
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
software traceability;
traceability link recovery;
machine learning;
59.
CogniCrypt: Supporting Developers in Using Cryptography
机译:
Cognicrypt:支持使用密码学的开发人员
作者:
Stefan Krüger
;
Sarah Nadi
;
Michael Reif
;
Karim Ali
;
Mira Mezini
;
Eric Bodden
;
Florian G?pfert
;
Felix Günther
;
Christian Weinert
;
Daniel Demmler
;
Ram Kamath
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Cryptography;
Code Generation;
Variability Modeling;
Code Analysis;
60.
Crowd intelligence enhances automated mobile testing
机译:
人群智能增强自动移动测试
作者:
Ke Mao
;
Mark Harman
;
Yue Jia
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Mobile communication;
Tools;
Data mining;
Androids;
Humanoid robots;
Mobile handsets;
61.
Towards Search-Based Modelling and Analysis of Requirements and Architecture Decisions
机译:
朝着基于搜索的建模和需求和架构决策分析
作者:
Saheed A. Busari
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Analysis;
Requirements;
Architecture Decisions;
62.
Tortoise: Interactive system configuration repair
机译:
乌龟:交互式系统配置维修
作者:
Aaron Weiss
;
Arjun Guha
;
Yuriy Brun
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Maintenance engineering;
Computer bugs;
Web servers;
Organizations;
Benchmark testing;
63.
Automatically generating commit messages from diffs using neural machine translation
机译:
使用神经机翻译自动生成来自Diff的提交消息
作者:
Siyuan Jiang
;
Ameer Armaly
;
Collin McMillan
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Algorithm design and analysis;
Software;
Natural languages;
Software algorithms;
Machine learning;
Computer bugs;
Prediction algorithms;
64.
Transfer learning for performance modeling of configurable systems: An exploratory analysis
机译:
转移学习可配置系统性能建模:探索性分析
作者:
Pooyan Jamshidi
;
Norbert Siegmund
;
Miguel Velez
;
Christian K?stner
;
Akshay Patel
;
Yuvraj Agarwal
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Hardware;
Software systems;
Analytical models;
Predictive models;
Mobile communication;
Reliability;
65.
Programming bots by synthesizing natural language expressions into API invocations
机译:
通过将自然语言表达式合成为API调用来编程机器人
作者:
Shayan Zamanirad
;
Boualem Benatallah
;
Moshe Chai Barukh
;
Fabio Casati
;
Carlos Rodriguez
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Natural languages;
Programming;
Computational modeling;
Concrete;
Meteorology;
Business;
Machine learning;
66.
Programming Bots by Synthesizing Natural Language Expressions into API Invocations
机译:
通过将自然语言表达式合成为API调用来编程机器人
作者:
Shayan Zamanirad
;
Boualem Benatallah
;
Moshe Chai Barukh
;
Fabio Casati
;
Carlos Rodriguez
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Programming Bots;
Synthesizing Natural;
API Invocations;
67.
Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
机译:
考虑到技能改进,推荐众群软件开发人员
作者:
Zizhe Wang
;
Hailong Sun
;
Yang Fu
;
Luting Ye
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Crowdsourcing;
recommender systems;
software development;
Topcoder;
68.
Towards search-based modelling and analysis of requirements and architecture decisions
机译:
朝着基于搜索的建模和需求和架构决策分析
作者:
Saheed A. Busari
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Analytical models;
Radar;
Tools;
Decision analysis;
Stakeholders;
Uncertainty;
69.
Cobra — An interactive static code analyzer
机译:
眼镜蛇 - 一个交互式静态代码分析仪
作者:
Gerard Holzmann
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
70.
In-memory fuzzing for binary code similarity analysis
机译:
二进制代码相似性分析的内存模糊
作者:
Shuai Wang
;
Dinghao Wu
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Binary codes;
Tools;
Runtime;
Indexes;
Syntactics;
71.
Visualization Support for Requirements Monitoring in Systems of Systems
机译:
可视化支持系统系统中的需求监控
作者:
Lisa Maria Kritzinger
;
Thomas Krismayer
;
Michael Vierhauser
;
Rick Rabiser
;
Paul Grünbacher
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Requirements monitoring;
visualization;
systems of systems;
72.
FEMIR: A tool for recommending framework extension examples
机译:
女性:推荐框架扩展示例的工具
作者:
Muhammad Asaduzzaman
;
Chanchal K. Roy
;
Kevin A. Schneider
;
Daqing Hou
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Receivers;
Proposals;
Java;
Indexes;
Tree data structures;
73.
Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
机译:
通过程序生成和差异测试自动测试符号执行引擎
作者:
Timotej Kapus
;
Cristian Cadar
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Automatic Testing;
Symbolic Execution;
Differential Testing;
74.
Sketch-guided GUI test generation for mobile applications
机译:
用于移动应用的素描指导GUI测试生成
作者:
Chucheng Zhang
;
Haoliang Cheng
;
Enyi Tang
;
Xin Chen
;
Lei Bu
;
Xuandong Li
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Graphical user interfaces;
Testing;
Layout;
Shape;
Connectors;
Mobile applications;
Grammar;
75.
Can automated pull requests encourage software developers to upgrade out-of-date dependencies?
机译:
自动拉出请求是否可以鼓励软件开发人员升级过期依赖项?
作者:
Samim Mirhosseini
;
Chris Parnin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Software;
Libraries;
Security;
Google;
Safety;
76.
Elixir: Effective object-oriented program repair
机译:
Elixir:有效面向对象的程序维修
作者:
Ripon K. Saha
;
Yingjun Lyu
;
Hiroaki Yoshida
;
Mukul R. Prasad
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Maintenance engineering;
Computer bugs;
Java;
Tools;
Software;
Object oriented modeling;
Concrete;
77.
Parallel bug-finding in concurrent programs via reduced interleaving instances
机译:
通过减少的交织实例并行程序中的并行错误查找
作者:
Truc L. Nguyen
;
Peter Schrammel
;
Bernd Fischer
;
Salvatore La Torre
;
Gennaro Parlato
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Computer bugs;
Tools;
Concurrent computing;
Instruction sets;
Programming;
Model checking;
78.
Mining structures from massive text data: Will it help software engineering?
机译:
来自大规模文本数据的挖掘结构:它是否有助于软件工程?
作者:
Jiawei Han
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
79.
Gremlin-ATL: A scalable model transformation framework
机译:
Gremlin-ATL:可扩展模型转换框架
作者:
Gwendal Daniel
;
Frédéric Jouault
;
Gerson Sunyé
;
Jordi Cabot
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Unified modeling language;
Databases;
Load modeling;
Computational modeling;
Transforms;
Tools;
Database languages;
80.
Parsimony: An IDE for example-guided synthesis of lexers and parsers
机译:
判断:一个例子,用于引导lexers和解析器的合成
作者:
Alan Leung
;
Sorin Lerner
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Automata;
Grammar;
Syntactics;
Data structures;
Standards;
81.
Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
机译:
开源项目中的测试套件并行化:对其使用和影响的研究
作者:
Jeanderson Candido
;
Luis Melo
;
Marcelo dAmorim
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Suite Parallelization;
Usage;
Impact;
82.
TREM: A Tool for Mining Timed Regular Specifications from System Traces
机译:
TREM:从系统迹线挖掘定时规范的工具
作者:
Lukas Schmidt
;
Apurva Narayan
;
Sebastian Fischmeister
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Specification Mining;
Timed Regular Expressions;
Real-time systems;
83.
Systematically testing background services of mobile apps
机译:
系统地测试移动应用的背景服务
作者:
Li Lyna Zhang
;
Chieh-Jan Mike Liang
;
Yunxin Liu
;
Enhong Chen
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Testing;
Androids;
Humanoid robots;
Tools;
Mobile communication;
Generators;
Telemetry;
84.
Towards the automatic classification of traceability links
机译:
朝向可追溯性链路的自动分类
作者:
Chris Mills
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software;
Classification algorithms;
Semantics;
Predictive models;
Measurement;
Tuning;
85.
A Comprehensive Study on Real World Concurrency Bugs in Node.js
机译:
Node.js中真实世界并发错误的全面研究
作者:
Jie Wang
;
Wensheng Dou
;
Yu Gao
;
Chushu Gao
;
Feng Qin
;
Kang Yin
;
Jun Wei
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
JavaScript;
Node.js;
event-driven;
concurrency bug;
empirical study;
86.
Privacy-Aware Data-Intensive Applications
机译:
隐私感知数据密集型应用程序
作者:
Michele Guerriero
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Data Privacy;
Data-Intensive Applications;
Big Data;
Dataflow computing;
87.
Predicting Relevance of Change Recommendations
机译:
预测变更建议的相关性
作者:
Thomas Rolfsnes
;
Leon Moonen
;
David Binkley
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
recommendation confidence;
evolutionary coupling;
targeted association rule mining;
random forests;
88.
RuntimeSearch: Ctrl+F for a running program
机译:
RUNTIMESEARCH:用于运行程序的CTRL + F
作者:
Matú? Sulír
;
Jaroslav Porub?n
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Runtime;
Debugging;
Java;
Tools;
Graphical user interfaces;
Instruments;
89.
Quick verification of concurrent programs by iteratively relaxed scheduling
机译:
通过迭代放松的调度来快速验证并发计划
作者:
Patrick Metzler
;
Habib Saissi
;
Péter Bokor
;
Neeraj Suri
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Schedules;
Delays;
Concurrent computing;
Programming;
Model checking;
Software;
90.
Improving missing issue-commit link recovery using positive and unlabeled data
机译:
使用正面和未标记的数据改进缺少的问题 - 提交链接恢复
作者:
Yan Sun
;
Celia Chen
;
Qing Wang
;
Barry Boehm
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Feature extraction;
Indexes;
Metadata;
Training;
Software maintenance;
91.
Mining implicit design templates for actionable code reuse
机译:
用于可操作代码重用的挖掘隐式设计模板
作者:
Yun Lin
;
Guozhu Meng
;
Yinxing Xue
;
Zhenchang Xing
;
Jun Sun
;
Xin Peng
;
Yang Liu
;
Wenyun Zhao
;
Jinsong Dong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Unified modeling language;
Object oriented modeling;
Cloning;
Skeleton;
Java;
Feature extraction;
92.
Static detection of asymptotic resource side-channel vulnerabilities in web applications
机译:
Web应用中渐近资源侧通道漏洞的静态检测
作者:
Jia Chen
;
Oswaldo Olivo
;
Isil Dillig
;
Calvin Lin
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Security;
Timing;
Databases;
Algorithm design and analysis;
Tools;
Time factors;
93.
More effective interpolations in software model checking
机译:
软件模型检查中更有效的插值
作者:
Cong Tian
;
Zhao Duan
;
Zhenhua Duan
;
C.-H. Luke Ong
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Interpolation;
Safety;
Model checking;
Space exploration;
Subspace constraints;
Software;
Tools;
94.
Opiner: An opinion search and summarization engine for APIs
机译:
意见者:API的一个意见搜索和摘要引擎
作者:
Gias Uddin
;
Foutse Khomh
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Databases;
Portals;
Engines;
Detectors;
Software;
Search engines;
95.
Systematic Reduction of GUI Test Sequences
机译:
系统性地减少GUI测试序列
作者:
Lin Cheng
;
Zijiang Yang
;
Chao Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Systematic Reduction;
GUI;
Test Sequences;
96.
Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance
机译:
在结构合并中重命名和转移代码:展望精度和性能
作者:
Olaf LeBenich
;
Sven Apel
;
Christian Kastner
;
Georg Seibt
;
Janet Siegmund
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Renaming;
Shifted Code;
Performance;
97.
ModelWriter: Text and Model-Synchronized Document Engineering Platform
机译:
ModelWriter:文本和模型同步文档工程平台
作者:
Ferhat Erata
;
Claire Gardent
;
Bikash Gyawali
;
Anastasia Shimorina
;
Yvan Lussaud
;
Bedir Tekinerdogan
;
Geylani Kardas
;
Anne Monceaux
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
ModelWriter;
Engineering Platform;
traceability analysis;
98.
Recommending crowdsourced software developers in consideration of skill improvement
机译:
考虑到技能改进,推荐众群软件开发人员
作者:
Zizhe Wang
;
Hailong Sun
;
Yang Fu
;
Luting Ye
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Software;
Correlation;
Reliability;
Crowdsourcing;
Algorithm design and analysis;
Prediction algorithms;
99.
Boosting complete-code tool for partial program
机译:
促进部分程序的完整代码工具
作者:
Hao Zhong
;
Xiaoyin Wang
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Tools;
Computer bugs;
Boosting;
Java;
Data mining;
Software;
Syntactics;
100.
Leveraging Syntax-Related Code for Automated Program Repair
机译:
利用与自动化程序维修的语法相关的代码
作者:
Qi Xin
;
Steven P. Reiss
会议名称:
《IEEE/ACM International Conference on Automated Software Engineering》
|
2017年
关键词:
Automated program repair;
code search;
code transfer;
意见反馈
回到顶部
回到首页