掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
2018 IEEE/ACM 40th International Conference on Software Engineering
2018 IEEE/ACM 40th International Conference on Software Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
化学传感器
计算机工程与应用
计算机测量与控制
计算机工程
个人电脑
软件与光盘
新电脑
计算机与现代化
通讯和计算机
计算机与网络
更多>>
相关外文期刊
International Journal of Electronic Business
International Journal of Knowledge Engineering and Data Mining
Productivity management
Engineering Computations
Journal of circuits, systems and computers
IEEE multimedia
Advanced Robotics
Journal of information science and engineering
Microfluidics and nanofluidics
Lotus Advisor
更多>>
相关中文会议
全国系统仿真技术及其应用学术会议
1998年工业仪表与自动化学术会议
第24届全国计算机新科技与计算机教育学术会议
中国气象学会网络安全技术的开发应用学术会议
2011信息技术与应用学术会议
中国计算机用户协会信息系统分会2013年第二十三届信息交流大会
第十九届测试与故障诊断技术研讨会
全国第四届Web信息系统及其应用学术会议、全国第二届语义Web与本体论学术研讨会、全国电子政务技术与办公自动化学术研讨会
2003年中国智能自动化会议
第二十届全国数据库学术会议
更多>>
相关外文会议
Applications of Artificial Intelligence X: Machine Vision and Robotics
International Conference on Finite Fields and Applications(Fq7); 20030505-20030509; Toulouse; FR
Robotics : The algorithmic perspective
2015 14th Roedunet International Conference networking in education and research
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Deep learning in medical image analysis and multimodal learning for clinical decision support
International Conference on Software and System Process
2013 10th International Conference on Remote Engineering and Virtual Instrumentation
Algorithms and Technologies for Multispectral, Hyperspectral, and Ultraspectral Imagery XIII; Proceedings of SPIE-The International Society for Optical Engineering; vol.6565
Efficient Algorithms for Global Optimization Methods in Computer Vision
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Synthesizing Qualitative Research in Software Engineering: A Critical Review
机译:
综合进行软件工程中的定性研究:综述
作者:
Xin Huang
;
He Zhang
;
Xin Zhou
;
Muhammad Ali Babar
;
Song Yang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Data mining;
Bibliographies;
Software;
Systematics;
Tools;
Data models;
2.
To Preserve or Not to Preserve Invalid Solutions in Search-Based Software Engineering: A Case Study in Software Product Lines
机译:
在基于搜索的软件工程中保留或不保留无效解决方案:软件产品线中的案例研究
作者:
Jianmei Guo
;
Kai Shi
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Optimization;
Sociology;
Statistics;
Software;
Search problems;
Software product lines;
3.
A Combinatorial Approach for Exposing Off-Nominal Behaviors
机译:
暴露虚名行为的组合方法
作者:
Kaushik Madala
;
Hyunsook Do
;
Daniel Aceituna
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Ear;
Electronic countermeasures;
Robot sensing systems;
Natural languages;
Analytical models;
Writing;
4.
Secure Coding Practices in Java: Challenges and Vulnerabilities
机译:
Java安全编码实践:挑战和漏洞
作者:
Na Meng
;
Stefan Nagy
;
Danfeng Yao
;
Wenjie Zhuang
;
Gustavo Arango-Argoty
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Java;
Cryptography;
Encoding;
Libraries;
Programming;
Authentication;
5.
Chopped Symbolic Execution
机译:
切碎的符号执行
作者:
Andrea Mattavelli
;
Noam Rinetzky
;
Cristian Cadar
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Explosions;
Engines;
Computer bugs;
Static analysis;
Runtime;
Software;
6.
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities
机译:
时空上下文约简:一种基于指针分析的静态方法,用于检测释放后使用漏洞
作者:
Hua Yan
;
Yulei Sui
;
Shiping Chen
;
Jingling Xue
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer bugs;
Tools;
Correlation;
Australia;
Pattern matching;
Software;
Static analysis;
7.
UFO: Predictive Concurrency Use-After-Free Detection
机译:
UFO:预测并发使用后释放检测
作者:
Jeff Huang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Instruction sets;
Concurrent computing;
Schedules;
Browsers;
Tools;
Chromium;
Encoding;
8.
Inferring and Asserting Distributed System Invariants
机译:
推断和断言分布式系统不变式
作者:
Stewart Grant
;
Hendrik Cech
;
Ivan Beschastnikh
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Instruments;
Clocks;
Runtime;
Tools;
Lattices;
Protocols;
Computer bugs;
9.
A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products
机译:
关于代码混淆对Android应用程序和反恶意软件产品的影响的大规模实证研究
作者:
Mahmoud Hammad
;
Joshua Garcia
;
Sam Malek
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Androids;
Humanoid robots;
Tools;
Malware;
Cryptography;
Reflection;
Java;
10.
Collective Program Analysis
机译:
集体计划分析
作者:
Ganesha Upadhyaya
;
Hridesh Rajan
会议名称:
《》
|
2018年
关键词:
Transfer functions;
Cloning;
Software engineering;
Task analysis;
Syntactics;
Analytical models;
Labeling;
11.
EnMobile: Entity-Based Characterization and Analysis of Mobile Malware
机译:
EnMobile:基于实体的移动恶意软件特征分析
作者:
Wei Yang
;
Mukul Prasad
;
Tao Xie
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Malware;
Servers;
Security;
Databases;
Static analysis;
Feature extraction;
12.
Inheritance Usage Patterns in Open-Source Systems
机译:
开源系统中的继承使用模式
作者:
Jamie Stevenson
;
Murray Wood
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Gold;
13.
The Road to Live Programming: Insights from the Practice
机译:
实时编程之路:实践中的见解
作者:
Juraj Kubelka
;
Romain Robbes
;
Alexandre Bergel
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Programming;
Tools;
Task analysis;
Software;
Programming environments;
Navigation;
Visualization;
14.
Self-Hiding Behavior in Android Apps: Detection and Characterization
机译:
Android应用程序中的自我隐藏行为:检测和表征
作者:
Zhiyong Shan
;
Iulian Neamtiu
;
Raina Samuel
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Malware;
Smart phones;
Tools;
Static analysis;
Security;
Google;
Software engineering;
15.
Towards Optimal Concolic Testing
机译:
进行最佳共乳测试
作者:
Xinyu Wang
;
Jun Sun
;
Zhenbang Chen
;
Peixin Zhang
;
Jingyi Wang
;
Yun Lin
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Greedy algorithms;
Cost accounting;
Sun;
Model checking;
Probabilistic logic;
Systematics;
16.
Towards Refactoring-Aware Regression Test Selection
机译:
迈向重构感知回归测试选择
作者:
Kaiyuan Wang
;
Chenguang Zhu
;
Ahmet Celik
;
Jongwook Kim
;
Don Batory
;
Milos Gligoric
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Testing;
Computer bugs;
Task analysis;
Engines;
Software;
Google;
Tools;
17.
Context-Aware Conversational Developer Assistants
机译:
上下文感知会话开发助手
作者:
Nick Bradley
;
Thomas Fritz
;
Reid Holmes
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Task analysis;
Tools;
Context;
Context modeling;
Software;
Switches;
18.
Repairing Crashes in Android Apps
机译:
修复Android应用中的崩溃
作者:
Shin Hwei Tan
;
Zhen Dong
;
Xiang Gao
;
Abhik Roychoudhury
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer crashes;
Androids;
Humanoid robots;
Maintenance engineering;
Mobile applications;
Transistors;
Testing;
19.
Neuro-Symbolic Program Corrector for Introductory Programming Assignments
机译:
介绍性编程作业的神经符号程序校正器
作者:
Sahil Bhatia
;
Pushmeet Kohli
;
Rishabh Singh
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Syntactics;
Maintenance engineering;
Programming;
Recurrent neural networks;
Prediction algorithms;
Semantics;
20.
Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review
机译:
软件工程实验中的统计错误:初步文献综述
作者:
Rolando P. Reyes Ch.
;
Oscar Dieste
;
Efraín R. Fonseca C.
;
Natalia Juristo
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Bibliographies;
Training;
Guidelines;
Error analysis;
Back;
21.
Sentiment Analysis for Software Engineering: How Far Can We Go?
机译:
软件工程情感分析:我们能走多远?
作者:
Bin Lin
;
Fiorella Zampetti
;
Gabriele Bavota
;
Massimiliano Di Penta
;
Michele Lanza
;
Rocco Oliveto
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Sentiment analysis;
Tools;
Software engineering;
Software;
Task analysis;
Training;
Motion pictures;
22.
FaCoY – A Code-to-Code Search Engine
机译:
FaCoY –代码到代码搜索引擎
作者:
Kisub Kim
;
Dongsun Kim
;
Tegawendé F. Bissyandé
;
Eunjong Choi
;
Li Li
;
Jacques Klein
;
Yves Le Traon
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Cloning;
Search engines;
Semantics;
Software;
Natural languages;
Syntactics;
Runtime;
23.
Understanding Developers' Needs on Deprecation as a Language Feature
机译:
了解开发人员在弃用语言功能方面的需求
作者:
Anand Ashok Sawant
;
Mauricio Aniche
;
Arie van Deursen
;
Alberto Bacchelli
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Java;
Interviews;
Industries;
Companies;
Proposals;
Guidelines;
Software engineering;
24.
Dataflow Tunneling: Mining Inter-Request Data Dependencies for Request-Based Applications
机译:
数据流隧道:为基于请求的应用程序挖掘请求间数据依赖性
作者:
Xiao Yu
;
Guoliang Jin
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Data models;
Java;
Tunneling;
Analytical models;
Object recognition;
Prototypes;
Databases;
25.
Debugging Data Flows in Reactive Programs
机译:
在反应性程序中调试数据流
作者:
Herman Banken
;
Erik Meijer
;
Georgios Gousios
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Debugging;
Programming;
Tools;
Observers;
Libraries;
Companies;
Interviews;
26.
Deep Code Search
机译:
深度代码搜索
作者:
Xiaodong Gu
;
Hongyu Zhang
;
Sunghun Kim
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Natural languages;
XML;
Tools;
Semantics;
Machine learning;
Recurrent neural networks;
27.
Fine-Grained Test Minimization
机译:
细粒度测试最小化
作者:
Arash Vahabzadeh
;
Andrea Stocco
;
Ali Mesbah
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Production;
Minimization;
Redundancy;
Analytical models;
Computational modeling;
Software engineering;
Software systems;
28.
DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars
机译:
DeepTest:深度神经网络驱动自动驾驶汽车的自动化测试
作者:
Yuchi Tian
;
Kexin Pei
;
Suman Jana
;
Baishakhi Ray
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Neurons;
Autonomous automobiles;
Software;
Testing;
Automobiles;
Sensors;
Computer architecture;
29.
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis
机译:
启动模式感知的上下文相关活动转换分析
作者:
Yifei Zhang
;
Yulei Sui
;
Jingling Xue
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Androids;
Humanoid robots;
Context modeling;
Standards;
Analytical models;
Graphical user interfaces;
Navigation;
30.
Traceability in the Wild: Automatically Augmenting Incomplete Trace Links
机译:
野外可追溯性:自动增强不完整的跟踪链接
作者:
Michael Rath
;
Jacob Rendall
;
Jin L.C. Guo
;
Jane Cleland-Huang
;
Patrick Mäder
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer bugs;
Software;
Control systems;
Task analysis;
Software engineering;
Jacobian matrices;
Tagging;
31.
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
机译:
为社会编码增添光彩:npm生态系统中存储库徽章的实证研究
作者:
Asher Trockman
;
Shurui Zhou
;
Christian Kästner
;
Bogdan Vasilescu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Reliability;
Encoding;
Ecosystems;
Open source software;
Tools;
Best practices;
32.
Precise Concolic Unit Testing of C Programs Using Extended Units and Symbolic Alarm Filtering
机译:
使用扩展单元和符号警报过滤对C程序进行精确的共模单元测试
作者:
Yunho Kim
;
Yunja Choi
;
Moonzoo Kim
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Testing;
Computer bugs;
Filtering;
Manuals;
Software engineering;
Space exploration;
33.
On the Dichotomy of Debugging Behavior Among Programmers
机译:
程序员之间的调试行为二分法
作者:
Moritz Beller
;
Niels Spruit
;
Diomidis Spinellis
;
Andy Zaidman
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Debugging;
Software;
Tools;
Instruments;
Interviews;
Computer bugs;
Software engineering;
34.
Goal-Conflict Likelihood Assessment Based on Model Counting
机译:
基于模型计数的目标冲突可能性评估
作者:
Renzo Degiovanni
;
Pablo Castro
;
Marcelo Arroyo
;
Marcelo Ruiz
;
Nazareno Aguirre
;
Marcelo Frias
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Analytical models;
Boundary conditions;
Software;
Probabilistic logic;
Computational modeling;
Software engineering;
Requirements engineering;
35.
When Testing Meets Code Review: Why and How Developers Review Tests
机译:
当测试遇到代码审查时:开发人员为什么以及如何审查测试
作者:
Davide Spadini
;
Maurício Aniche
;
Margaret-Anne Storey
;
Magiel Bruntink
;
Alberto Bacchelli
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Production;
Computer bugs;
Testing;
Tools;
Software quality;
Measurement;
36.
Online App Review Analysis for Identifying Emerging Issues
机译:
在线应用程序审查分析,以识别新出现的问题
作者:
Cuiyun Gao
;
Jichuan Zeng
;
Michael R. Lyu
;
Irwin King
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer bugs;
Meteorology;
Facebook;
Google;
Semantics;
Software engineering;
37.
DetReduce: Minimizing Android GUI Test Suites for Regression Testing
机译:
DetReduce:最小化用于回归测试的Android GUI测试套件
作者:
Wontae Choi
;
Koushik Sen
;
George Necul
;
Wenyu Wang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Graphical user interfaces;
Testing;
Tools;
Androids;
Humanoid robots;
Redundancy;
Computer bugs;
38.
Deuce: A Lightweight User Interface for Structured Editing
机译:
Deuce:用于结构化编辑的轻量级用户界面
作者:
Brian Hempel
;
Justin Lubin
;
Grace Lu
;
Ravi Chugh
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Tools;
Syntactics;
Human computer interaction;
Task analysis;
Software engineering;
Visualization;
39.
Open Source Barriers to Entry, Revisited: A Sociotechnical Perspective
机译:
开源的进入壁垒,再探:一种社会技术视角
作者:
Christopher Mendez
;
Hema Susmita Padala
;
Zoe Steine-Hanson
;
Claudia Hildebrand
;
Amber Horvath
;
Charles Hill
;
Logan Simpson
;
Nupoor Patil
;
Anita Sarma
;
Margaret Burnett
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Tools;
Databases;
Problem-solving;
Open source software;
Cultural differences;
Face;
40.
Programming Not Only by Example
机译:
不仅通过示例编程
作者:
Hila Peleg
;
Sharon Shoham
;
Eran Yahav
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Synthesizers;
Task analysis;
Programming;
Object oriented modeling;
Tools;
Agriculture;
Vocabulary;
41.
HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts
机译:
HireBuild:历史记录驱动的构建脚本修复的自动方法
作者:
Foyzul Hassan
;
Xiaoyin Wang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Maintenance engineering;
Software;
Tools;
Task analysis;
Computer bugs;
Data mining;
Software engineering;
42.
Message from the General Chair
机译:
主席致辞
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
43.
Are Code Examples on an Online QA Forum Reliable?: A Study of API Misuse on Stack Overflow
机译:
在线问答论坛上的代码示例是否可靠?:对堆栈溢出的API滥用的研究
作者:
Tianyi Zhang
;
Ganesha Upadhyaya
;
Anastasia Reinhardt
;
Hridesh Rajan
;
Miryung Kim
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Data mining;
Java;
Software;
Software reliability;
Syntactics;
Libraries;
44.
How not to Structure Your Database-Backed Web Applications: A Study of Performance Bugs in the Wild
机译:
如何不构建数据库支持的Web应用程序:野外性能错误的研究
作者:
Junwen Yang
;
Cong Yan
;
Pranav Subramaniam
;
Shan Lu
;
Alvin Cheung
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Rails;
Scalability;
Servers;
Indexes;
Computer bugs;
Semantics;
45.
Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation
机译:
旅途中的软件保护:移动应用混淆的大规模实证研究
作者:
Pei Wang
;
Qinkun Bao
;
Li Wang
;
Shuai Wang
;
Zhaofeng Chen
;
Tao Wei
;
Dinghao Wu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software;
Security;
Androids;
Humanoid robots;
Libraries;
Software protection;
Manuals;
46.
Do You Remember This Source Code?
机译:
您还记得此源代码吗?
作者:
Jacob Krüger
;
Jens Wiemann
;
Wolfram Fenske
;
Gunter Saake
;
Thomas Leich
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software;
Software engineering;
Task analysis;
Maintenance engineering;
Psychology;
Software reliability;
47.
Does the Propagation of Artifact Changes Across Tasks Reflect Work Dependencies?
机译:
跨任务传播工件变化是否反映了工作依赖性?
作者:
Christoph Mayr-Dorn
;
Alexander Egyed
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Licenses;
48.
Assessing the Threat of Untracked Changes in Software Evolution
机译:
评估软件演进中未跟踪变更的威胁
作者:
Andre Hora
;
Danilo Silva
;
Marco Tulio Valente
;
Romain Robbes
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Blogs;
Software;
Tracking;
Bars;
History;
Tools;
Computer bugs;
49.
Hybrid Regression Test Selection
机译:
混合回归测试选择
作者:
Lingming Zhang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Testing;
Tools;
Java;
Runtime;
Open source software;
50.
Identifying Design Problems in the Source Code: A Grounded Theory
机译:
在源代码中识别设计问题:扎根理论
作者:
Leonardo Sousa
;
Anderson Oliveira
;
Willian Oizumi
;
Simone Barbosa
;
Alessandro Garcia
;
Jaejoon Lee
;
Marcos Kalinowski
;
Rafael de Mello
;
Baldoino Fonseca
;
Roberto Oliveira
;
Carlos Lucena
;
Rodrigo Paes
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software systems;
Task analysis;
Software design;
Fats;
Documentation;
Companies;
51.
Identifying Patch Correctness in Test-Based Program Repair
机译:
在基于测试的程序修复中识别补丁正确性
作者:
Yingfei Xiong
;
Xinyuan Liu
;
Muhan Zeng
;
Lu Zhang
;
Gang Huang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Maintenance engineering;
Search problems;
Software;
Computer crashes;
Null value;
Runtime;
52.
Automated Localization for Unreproducible Builds
机译:
自动化本地化,用于不可复制的构建
作者:
Zhilei Ren
;
He Jiang
;
Jifeng Xuan
;
Zijiang Yang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software;
Task analysis;
Feature extraction;
Filtering;
Hafnium;
Software engineering;
Computer science;
53.
Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge
机译:
使用SLforge自动查找商业网络物理系统开发工具链中的错误
作者:
Shafiul Azam Chowdhury
;
Soumik Mohian
;
Sidharth Mehra
;
Siddhant Gawsane
;
Taylor T. Johnson
;
Christoph Csallner
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software packages;
Tools;
Testing;
Computer bugs;
Object oriented modeling;
Numerical models;
Cyber-physical systems;
54.
'Was My Contribution Fairly Reviewed?' A Framework to Study the Perception of Fairness in Modern Code Reviews
机译:
“我的贡献得到了公正的审查吗?”研究现代代码审查中对公平感的框架
作者:
Daniel German
;
Gregorio Robles
;
Germán Poo-Caamaño
;
Xin Yang
;
Hajimu Iida
;
Katsuro Inoue
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Process control;
Organizations;
Software reviews;
Standards organizations;
Guidelines;
Ecosystems;
55.
Journal First A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
机译:
期刊第一盲人和有视力程序员的程序理解策略的比较
作者:
Ameer Armaly
;
Paige Rodeghero
;
Collin McMillan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Tools;
Java;
Measurement;
Software maintenance;
Visualization;
56.
Journal First A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications
机译:
期刊第一模型驱动工程的后验类型:概念,分析和应用
作者:
Juan de Lara
;
Esther Guerra
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Unified modeling language;
Software engineering;
Model driven engineering;
Analytical models;
Tools;
Domain specific languages;
Syntactics;
57.
Journal First An Empirical Study on the Interplay Between Semantic Coupling and Co-change of Software Classes
机译:
期刊第一语义耦合与软件类共变之间相互作用的实证研究
作者:
Nemitari Ajienka
;
Andrea Capiluppi
;
Steve Counsell
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Semantics;
Couplings;
Software;
Computer science;
Measurement;
Software engineering;
Correlation;
58.
Journal First Analyzing a Decade of Linux System Calls
机译:
期刊第一分析数十年来的Linux系统调用
作者:
Mojtaba Bagherzadeh
;
Nafiseh Kahani
;
Cor-Paul Bezemer
;
Ahmed E. Hassan
;
Juergen Dingel
;
James R. Cordy
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Linux;
Kernel;
Computer bugs;
Software engineering;
Maintenance engineering;
Testing;
59.
Journal First Are Fix-Inducing Changes a Moving Target?: A Longitudinal Case Study of Just-in-Time Defect Prediction
机译:
期刊优先修复引起的变化是移动目标吗?:即时缺陷预测的纵向案例研究
作者:
Shane McIntosh
;
Yasutaka Kamei
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Predictive models;
History;
Fluctuations;
Training;
Data models;
Software;
60.
Journal First Journal First Presentation of an Experience Report on Applying Software Testing Academic Results in Industry: We Need Usable Automated Test Generation
机译:
期刊第一期刊首次演示在行业中应用软件测试学术成果的经验报告:我们需要可用的自动化测试生成
作者:
Andrea Arcuri
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Industries;
Software testing;
Test pattern generators;
Companies;
Tools;
61.
Publisher's information
机译:
出版者信息
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
software engineering;
62.
Journal First Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search
机译:
期刊第一增强和构造用户查询以支持有效的自由格式代码搜索
作者:
Raphael Sirres
;
Tegawendé F. Bissyandé
;
Dongsun Kim
;
David Lo
;
Jacques Klein
;
Kisub Kim
;
Yves Le Traon
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Search engines;
Software engineering;
Vocabulary;
Indexes;
Programming;
Engines;
Natural languages;
63.
Journal First Challenges and Pitfalls on Surveying Evidence in the Software Engineering Technical Literature: An Exploratory Study with Novices
机译:
期刊第一软件工程技术文献中调查证据的挑战与陷阱:与新手的探索性研究
作者:
Talita Vieira Ribeiro
;
Jobson Massollar
;
Guilherme Horta Travassos
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Software;
Planning;
Protocols;
Knowledge engineering;
Systematics;
Terminology;
64.
Journal First Collaborative Model-Driven Software Engineering: A Classification Framework and a Research Map Extended Abstract
机译:
期刊第一协同模型驱动的软件工程:分类框架和研究图扩展摘要
作者:
Davide Di Ruscio
;
Mirco Franzago
;
Ivano Malavolta
;
Henry Muccini
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Analytical models;
Unified modeling language;
Stakeholders;
Collaborative software;
Tools;
65.
Journal First Data Scientists in Software Teams: State of the Art and Challenges
机译:
期刊第一软件团队中的数据科学家:最新技术和挑战
作者:
Miryung Kim
;
Thomas Zimmermann
;
Robert DeLine
;
Andrew Begel
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software;
Tools;
Data science;
Software engineering;
Face;
Best practices;
Instruments;
66.
Journal First Does Syntax Highlighting Help Programming Novices?
机译:
期刊第一语法高亮是否有助于编程新手?
作者:
Christoph Hannebauer
;
Marc Hesenius
;
Volker Gruhn
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Syntactics;
Task analysis;
Programming;
Software engineering;
Visualization;
Human computer interaction;
Tools;
67.
Journal First Effect Sizes and their Variance for AB/BA Crossover Design Studies
机译:
期刊第一 AB / BA交叉设计研究的效应量及其方差
作者:
Lech Madeyski
;
Barbara Kitchenham
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Size measurement;
Analytical models;
Data models;
Standards;
Clinical trials;
Computer science;
68.
Journal First Empirical Study on the Discrepancy Between Performance Testing Results from Virtual and Physical Environments
机译:
虚拟环境和物理环境的性能测试结果之间差异的实证研究
作者:
Muhammad Moiz Arif
;
Weiyi Shang
;
Emad Shihab
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Testing;
Measurement;
Software engineering;
Virtual environments;
Correlation;
Software performance;
69.
Journal First Experiences and Challenges in Building a Data Intensive System for Data Migration
机译:
期刊第一建立用于数据迁移的数据密集型系统的经验和挑战
作者:
Marco Scavuzzo
;
Elisabetta Di Nitto
;
Danilo Ardagna
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Big Data;
Databases;
Quality of service;
Tools;
Fault tolerance;
Fault tolerant systems;
Software;
70.
Journal First Inference of Development Activities from Interaction with Uninstrumented Applications
机译:
从与非仪器应用程序的交互作用推断开发活动
作者:
Lingfeng Bao
;
Zhenchang Xing
;
Xin Xia
;
David Lo
;
Ahmed E. Hassan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Australia;
Tools;
Software;
Computer science;
Information technology;
Information systems;
71.
Journal First Measuring Program Comprehension: A Large-Scale Field Study with Professionals
机译:
期刊第一测量程序理解:专业人士的大规模现场研究
作者:
Xin Xia
;
Lingfeng Bao
;
David Lo
;
Zhenchang Xing
;
Ahmed E. Hassan
;
Shanping Li
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer science;
Software;
Software engineering;
Australia;
Conferences;
Software measurement;
Information technology;
72.
Journal First Model Comprehension for Security Risk Assessment: An Empirical Comparison of Tabular vs. Graphical Representations
机译:
安全风险评估的模型理解:表格与图形表示的经验比较
作者:
Katsiaryna Labunets
;
Fabio Massacci
;
Federica Paci
;
Sabrina Marczak
;
Flávio Moreira de Oliveira
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Security;
Task analysis;
Unified modeling language;
Software engineering;
Risk management;
Data mining;
Complexity theory;
73.
Journal First Older Adults and Hackathons: A Qualitative Study
机译:
期刊第一老年人与黑客马拉松:定性研究
作者:
Wieslaw Kopec
;
Bartlomiej Balcerzak
;
Radoslaw Nielek
;
Grzegorz Kowalik
;
Adam Wierzbicki
;
Fabio Casati
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Information technology;
Software engineering;
Software;
Collaboration;
Human computer interaction;
Programming profession;
74.
Journal First On the Use of Hidden Markov Model to Predict the Time to Fix Bugs
机译:
期刊第一关于使用隐马尔可夫模型预测修复错误的时间
作者:
Mayy Habayeb
;
Syed Shariyar Murtaza
;
Andriy Miranskyy
;
Ayse Basar Bener
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer bugs;
Hidden Markov models;
Software;
Software engineering;
Data science;
Predictive models;
Industrial engineering;
75.
Journal First Predicting Future Developer Behavior in the IDE Using Topic Models
机译:
期刊第一使用主题模型预测IDE中将来的开发人员行为
作者:
Kostadin Damevski
;
Hui Chen
;
David C. Shepherd
;
Nicholas A. Kraft
;
Lori Pollock
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
76.
Journal First Sentiment Polarity Detection for Software Development
机译:
期刊第一用于软件开发的情感极性检测
作者:
Fabio Calefato
;
Filippo Lanubile
;
Federico Maiorano
;
Nicole Novielli
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software;
Software engineering;
Collaboration;
Programming;
77.
Journal First The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
机译:
期刊第一善,恶与丑:网络物理系统游戏中的安全决策研究
作者:
Sylvain Frey
;
Awais Rashid
;
Pauline Anthonysamy
;
Maria Pinto-Albuquerque
;
Syad Asad Naqvi
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Games;
Cyber-physical systems;
Computer security;
Software engineering;
Privacy;
Google;
78.
Journal First Understanding the Factors for Fast Answers in Technical QA Websites: An Empirical Study of Four Stack Exchange Websites
机译:
期刊第一了解技术问答网站中快速答案的因素:四个Stack Exchange网站的实证研究
作者:
Mike Papadakis
;
Shaowei Wang
;
Tse-Hsun Chen
;
Ahmed E. Hassan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Software;
Knowledge engineering;
Computer science;
Logistics;
Analytical models;
Mathematics;
79.
Symbolic Verification of Regular Properties
机译:
常规属性的符号验证
作者:
Hengbiao Yu
;
Zhenbang Chen
;
Ji Wang
;
Zhendong Su
;
Wei Dong
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Java;
Software engineering;
Software;
Task analysis;
History;
Explosions;
Heuristic algorithms;
80.
Efficient Sampling of SAT Solutions for Testing
机译:
SAT解决方案的有效采样
作者:
Rafael Dutra
;
Kevin Laeufer
;
Jonathan Bachrach
;
Koushik Sen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Hardware;
Software;
Fuzzing;
Benchmark testing;
Software engineering;
Tools;
81.
Search-Based Test Data Generation for SQL Queries
机译:
用于SQL查询的基于搜索的测试数据生成
作者:
Jeroen Castelein
;
Maurício Aniche
;
Mozhan Soltani
;
Annibale Panichella
;
Arie van Deursen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Databases;
Genetic algorithms;
Search problems;
Structured Query Language;
Toy manufacturing industry;
Software systems;
Engines;
82.
CCAligner: A Token Based Large-Gap Clone Detector
机译:
CCAligner:基于令牌的大克隆克隆检测器
作者:
Pengcheng Wang
;
Jeffrey Svajlenko
;
Yanzhao Wu
;
Yun Xu
;
Chanchal K. Roy
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Cloning;
Tools;
Detectors;
Software;
Computer science;
Software engineering;
Indexes;
83.
Redefining Prioritization: Continuous Prioritization for Continuous Integration
机译:
重新定义优先级:持续集成的优先级
作者:
Jingjing Liang
;
Sebastian Elbaum
;
Gregg Rothermel
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
84.
Speedoo: Prioritizing Performance Optimization Opportunities
机译:
Speedoo:优先考虑性能优化机会
作者:
Zhifei Chen
;
Bihuan Chen
;
Lu Xiao
;
Xiao Wang
;
Lin Chen
;
Yang Liu
;
Baowen Xu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Optimization;
Measurement;
Software;
System performance;
Computer architecture;
Complexity theory;
Manuals;
85.
Multi-granular Conflict and Dependency Analysis in Software Engineering Based on Graph Transformation
机译:
基于图变换的软件工程中的多粒度冲突和依赖关系分析
作者:
Leen Lambers
;
Daniel Strüber
;
Gabriele Taentzer
;
Kristopher Born
;
Jevgenij Huebert
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software engineering;
Data mining;
Usability;
Task analysis;
Model driven engineering;
86.
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
机译:
自动生成一致领域特定模型的图求解器
作者:
Oszkár Semeráth
;
András Szabolcs Nagy
;
Dániel Varró
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Analytical models;
Object oriented modeling;
Tools;
Biological system modeling;
IP networks;
Testing;
87.
Inferring Hierarchical Motifs from Execution Traces
机译:
从执行迹线推断层次结构
作者:
Saba Alimadadi
;
Ali Mesbah
;
Karthik Pattabiraman
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Tools;
Task analysis;
Electronic mail;
Biological system modeling;
Software engineering;
Bioinformatics;
Data visualization;
88.
Reducer-Based Construction of Conditional Verifiers
机译:
基于Reducer的条件验证程序构造
作者:
Dirk Beyer
;
Marie-Christine Jakobs
;
Thomas Lemberger
;
Heike Wehrheim
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Automata;
Software;
Model checking;
Tools;
Software engineering;
Task analysis;
89.
Enlightened Debugging
机译:
开明的调试
作者:
Xiangyu Li
;
Shaowei Zhu
;
Marcelo d’Amorim
;
Alessandro Orso
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Debugging;
Performance analysis;
Tools;
Generators;
Calculators;
Software debugging;
Task analysis;
90.
Multi-objective Integer Programming Approaches for Solving Optimal Feature Selection Problem: A New Perspective on Multi-objective Optimization Problems in SBSE
机译:
最优特征选择问题的多目标整数规划方法:SBSE中多目标优化问题的新视角
作者:
Yinxing Xue
;
Yan-Fu Li
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Feature extraction;
Linear programming;
IP networks;
Optimization;
Software;
Encryption;
Graphical user interfaces;
91.
Perses: Syntax-Guided Program Reduction
机译:
波斯语:语法指导的程序精简
作者:
Chengnian Sun
;
Yuanbo Li
;
Qirun Zhang
;
Tianxiao Gu
;
Zhendong Su
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Grammar;
Debugging;
Syntactics;
Computer bugs;
Program processors;
Sun;
Java;
92.
Semantic Program Repair Using a Reference Implementation
机译:
使用参考实现的语义程序修复
作者:
Sergey Mechtaev
;
Manh-Dung Nguyen
;
Yannic Noller
;
Lars Grunske
;
Abhik Roychoudhury
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Maintenance engineering;
Software;
Semantics;
Forestry;
Instruments;
Signal processing algorithms;
Scalability;
93.
Towards Practical Program Repair with On-demand Candidate Generation
机译:
通过按需生成候选程序进行实用程序修复
作者:
Jinru Hua
;
Mengshi Zhang
;
Kaiyuan Wang
;
Sarfraz Khurshid
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Maintenance engineering;
Computer bugs;
Runtime;
Syntactics;
Debugging;
Java;
94.
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
机译:
ConflictJS:查找和理解JavaScript库之间的冲突
作者:
Jibesh Patra
;
Pooja N. Dixit
;
Michael Pradel
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Libraries;
Loading;
Computer crashes;
Cryptography;
Content distribution networks;
Servers;
95.
Context-Aware Patch Generation for Better Automated Program Repair
机译:
上下文感知补丁生成,可实现更好的自动化程序修复
作者:
Ming Wen
;
Junjie Chen
;
Rongxin Wu
;
Dan Hao
;
Shing-Chi Cheung
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer bugs;
Maintenance engineering;
Search problems;
Explosions;
Context modeling;
Software;
Benchmark testing;
96.
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
机译:
使用可学习的进化算法测试基于视觉的控制系统
作者:
Raja Ben Abdessalem
;
Shiva Nejati
;
Lionel C. Briand
;
Thomas Stifter
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Testing;
Classification algorithms;
Roads;
Control systems;
Evolutionary computation;
Decision trees;
Automotive engineering;
97.
Nemo: Multi-criteria Test-Suite Minimization with Integer Nonlinear Programming
机译:
Nemo:使用整数非线性编程的多准则测试套件最小化
作者:
Jun-Wei Lin
;
Reyhaneh Jabbarvand
;
Joshua Garcia
;
Sam Malek
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Minimization;
Linear programming;
Optimization;
Mathematical model;
Tools;
Testing;
Programming;
98.
Static Automated Program Repair for Heap Properties
机译:
堆属性的静态自动程序修复
作者:
Rijnard van Tonder
;
Claire Le Goues
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computer bugs;
Maintenance engineering;
Tools;
Static analysis;
Semantics;
Software;
Safety;
99.
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
机译:
在线论坛代码段中API完全合格名称的统计学习
作者:
Hung Phan
;
Hoan Nguyen
;
Ngoc Tran
;
Linh Truong
;
Anh Nguyen
;
Tien Nguyen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Computational modeling;
Software libraries;
Training;
Software;
Tools;
100.
Is 'Better Data' Better Than 'Better Data Miners'?
机译:
“更好的数据”是否比“更好的数据挖掘者”更好?
作者:
Amritanshu Agrawal
;
Tim Menzies
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering》
|
2018年
关键词:
Software;
Measurement;
Couplings;
Tuning;
Task analysis;
Complexity theory;
Software engineering;
意见反馈
回到顶部
回到首页