掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
软件世界
计算机测量与控制
大众硬件
计算机教育
工矿自动化
条码与信息系统
软件(教育现代化)(电子版)
计算机与现代化
传动技术
现代计算机(专业版)
更多>>
相关外文期刊
International journal of information and coding theory
Kybernetes
International Journal of Electronic Business
Systems & Network Management Journal
Advanced engineering informatics
Neural Network World
Journal of E-Government
ACM transactions on multimedia computing communications and applications
Journal of Intelligent Information Systems
International journal of speech technology
更多>>
相关中文会议
第13届全国计算机模拟与信息技术学术会议——信息化、工业化融合与服务创新
2007中国控制与决策学术年会
全国国土资源与环境遥感技术应用交流会
2009全国博士生学术会议——计算机视觉与人工智能
第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)
第十一届全国信息隐藏暨多媒体信息安全学术大会 CIHW2013
中国自动化学会第二十七届青年学术年会
中国系统仿真学会2011年中国仿真大会
2007年控制系统研讨会
2002年全国振动工程及应用学术会议
更多>>
相关外文会议
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance
2014 10th International Conference on Reliability, Maintainability and Safety
IEEE International Conference on Natural Language Processing and Knowledge Engineering(IEEE NLP-KE'05); 20051030-1101; Wuhan(CN)
Earth resources and environmental remote sensing/GIS applications VII
Three-dimensional imaging, visualization, and display 2010 and display technologies and applications for defense, security, and avionics IV
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty(ECSQARU 2007); 20071031-1102; Hammamet(TN)
Sixteenth national conference on artificial intelligence(AAAI-99) and Eleventh Innovative Applications of Artificial Intelligence conference(IAAI-99)
Workshop on vision and language 2015: vision and language meet cognitive systems
Workshop on Semantic Resources and Semantic Annotation for Natural Language Processing and the Digital Humanities 2015
2015 Second International Conference on Emerging Information Technology and Engineering Solutions
更多>>
热门会议
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.
Poster: A Topic Analysis of the R Programming Language
机译:
海报:R编程语言的主题分析
作者:
Abigail Atchison
;
Haley Anderson
;
Christina Berardi
;
Natalie Best
;
Cristiano Firmani
;
Rene German
;
Erik Linstead
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software;
Computer languages;
Scientific computing;
Analytical models;
Data mining;
Software engineering;
Computational modeling;
2.
Poster: Analysis of Requirements Quality Evolution
机译:
海报:需求质量演变分析
作者:
Eugenio Parra
;
Jose Luis de la Vara
;
Luis Alonso
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Measurement;
Tools;
Quality management;
Standards;
Companies;
Requirements engineering;
Aerospace control;
3.
Poster: Android Inter-Component Communication Analysis with Intent Revision
机译:
海报:具有意图修订的Android组件间通信分析
作者:
Cong Tian
;
Congli Xia
;
Zhenhua Duan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Smart phones;
Androids;
Humanoid robots;
Tools;
Privacy;
Security;
Instruments;
4.
Poster: Architecture Reconstruction and Evaluation of Blockchain Open Source Platform
机译:
海报:区块链开源平台的体系结构重构和评估
作者:
Jungho Kim
;
Sungwon Kang
;
Hwi Ahn
;
Changsup Keum
;
Chan-Gun Lee
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer architecture;
Peer-to-peer computing;
Connectors;
Libraries;
Reconstruction algorithms;
5.
Poster: Are Our Students Engaged in Their Studies? Professional Engagement vs. Study Engagement
机译:
海报:我们的学生从事学习吗?专业参与与学习参与
作者:
Arnon Sturm
;
Timothy C. Lethbridge
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Education;
Computer science;
Software engineering;
Software;
Information systems;
Information science;
Contacts;
6.
Poster: Automated Program Repair with Canonical Constraints
机译:
海报:具有规范约束的自动程序修复
作者:
Andrew Hill
;
Corina Pasareanu
;
Kathryn Stolee
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Maintenance engineering;
Software engineering;
Semantics;
Benchmark testing;
Databases;
Java;
Software;
7.
Poster: Automated User Reviews Analyser
机译:
海报:自动用户评论分析器
作者:
Adelina Ciurumelea
;
Sebastiano Panichella
;
Harald C. Gall
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Software engineering;
Feature extraction;
Taxonomy;
Smart phones;
Software;
Task analysis;
8.
Poster: Automatically Answering API-Related Questions
机译:
海报:自动回答与API相关的问题
作者:
Di Wu
;
Xiao-Yuan Jing
;
Haowen Chen
;
Xiaoke Zhu
;
Hongyu Zhang
;
Mei Zuo
;
Lu Zi
;
Chen Zhu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tutorials;
Software engineering;
Programming;
Task analysis;
Natural languages;
Application programming interfaces;
Software;
9.
Poster: Autotuning PostgreSQL: A Blueprint for Successful Autotuning of Real-World Applications
机译:
海报:自动调整PostgreSQL:成功进行真实应用程序自动调整的蓝图
作者:
Thomas Karcher
;
Mathias Landhäußer
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tuning;
Databases;
Software;
Servers;
Benchmark testing;
Optimization;
Task analysis;
10.
Poster: Beyond Spatial and Temporal Memory Safety
机译:
海报:超越时空记忆安全
作者:
Zhe Chen
;
Chuanqi Tao
;
Zhiyi Zhang
;
Zhibin Yang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Safety;
Tools;
Runtime;
Software;
Aerodynamics;
Security;
11.
Poster: Bridging Effort-Aware Prediction and Strong Classification - A Just-in-Time Software Defect Prediction Study
机译:
海报:桥接努力意识预测和强分类-即时软件缺陷预测研究
作者:
Yuchen Guo
;
Martin Shepperd
;
Ning Li
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Predictive models;
Software engineering;
Testing;
Measurement;
Open source software;
Bridges;
12.
Poster: Challenge-Based Learning: A Brazilian Case Study
机译:
海报:基于挑战的学习:巴西案例研究
作者:
Alan Santos
;
Afonso Sales
;
Paulo Fernandes
;
Josiane Kroll
会议名称:
《》
|
2018年
关键词:
Training;
Software engineering;
Software;
Planning;
Interviews;
Application programming interfaces;
13.
Poster: Combining STPA and BDD for Safety Analysis and Verification in Agile Development
机译:
海报:结合STPA和BDD进行敏捷开发中的安全性分析和验证
作者:
Yang Wang
;
Stefan Wagner
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Safety;
Software;
Process control;
Software engineering;
Testing;
Business;
Security;
14.
Poster: Companies' Domination in FLOSS Development - An Empirical Study of OpenStack
机译:
海报:公司在FLOSS开发中的主导地位-OpenStack的经验研究
作者:
Yuxia Zhang
;
Xin Tan
;
Minghui Zhou
;
Zhi Jin
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Companies;
Measurement;
Entropy;
Software engineering;
Open source software;
Correlation;
15.
Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL Across Platforms
机译:
海报:CrossEcore:在各种平台上使用Ecore和OCL的可扩展框架
作者:
Simon Schwichtenberg
;
Ivan Jovanovikj
;
Christian Gerth
;
Gregor Engels
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Biological system modeling;
C# languages;
Generators;
Software;
Object oriented modeling;
Unified modeling language;
16.
Poster: Deciding Weak Monitorability for Runtime Verification
机译:
海报:确定运行时验证的弱可监视性
作者:
Zhe Chen
;
Yifan Wu
;
Ou Wei
;
Bin Sheng
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Monitoring;
Runtime;
Computer science;
Security;
Privacy;
Software reliability;
17.
Poster: Designing Bug Detection Rules for Fewer False Alarms
机译:
海报:设计错误检测错误更少的错误检测规则
作者:
Jaechang Nam
;
Song Wang
;
Yuan Xi
;
Lin Tan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer bugs;
Tools;
Static analysis;
Open source software;
Software engineering;
Google;
18.
Poster: Discovering Requirements of Behaviour Change Software Systems from Negative User Experience
机译:
海报:从负面的用户体验中发现行为变更软件系统的需求
作者:
Nelly Condori-Fernandez
;
Alejandro Catala Bolos
;
Patricia Lago
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Sustainable development;
Software systems;
Software engineering;
Strain;
Injuries;
Distance measurement;
19.
A Regression Proof Selection Tool For Coq
机译:
Coq的回归证明选择工具
作者:
Ahmet Celik
;
Karl Palmskog
;
Milos Gligoric
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Task analysis;
Software;
Java;
Standards;
Syntactics;
20.
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
机译:
弱断言:用于程序分析的面向弱点断言推荐工具包
作者:
Cong Wang
;
Yu Jiang
;
Xibin Zhao
;
Xiaoyu Song
;
Ming Gu
;
Jiaguang Sun
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Syntactics;
Software;
Testing;
Pattern matching;
Hardware;
Security;
21.
Poster: Learning to Mine Parallel Natural Language/Source Code Corpora from Stack Overflow
机译:
海报:从堆栈溢出中学习并行自然语言/源代码语料库
作者:
Pengcheng Yin
;
Bowen Deng
;
Edgar Chen
;
Bogdan Vasilescu
;
Graham Neubig
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Feature extraction;
Data mining;
Natural languages;
Training;
Python;
Java;
Data models;
22.
Poster: Leveraging Product Relationships to Generate Candidate Bugs for Duplicate Bug Prediction
机译:
海报:利用产品关系生成候选错误以进行重复的错误预测
作者:
Emily Su
;
Sameer Joshi
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer bugs;
Software engineering;
Machine learning;
Feature extraction;
Computational modeling;
Ecosystems;
Limiting;
23.
Poster: LibraryGuru: API Recommendation for Android Developers
机译:
海报:LibraryGuru:针对Android开发人员的API推荐
作者:
Weizhao Yuan
;
Hoang Huu Nguyen
;
Lingxiao Jiang
;
Yuting Chen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Androids;
Humanoid robots;
Correlation;
Databases;
Tools;
Tutorials;
Software engineering;
24.
Poster: LWE: LDA Refined Word Embeddings for Duplicate Bug Report Detection
机译:
海报:LWE:用于重复错误报告检测的LDA精炼单词嵌入
作者:
Amar Budhiraja
;
Raghu Reddy
;
Manish Shrivastava
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer bugs;
Task analysis;
Computational modeling;
Mathematical model;
Databases;
Resource management;
Systems architecture;
25.
Poster: Making Well-Informed Software Design Decisions
机译:
海报:做出明智的软件设计决策
作者:
Arman Shahbazian
;
Youn Kyu Lee
;
Yuriy Brun
;
Nenad Medvidovic
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software;
Analytical models;
Software architecture;
Mathematical model;
Computational modeling;
Computer architecture;
26.
Poster: Measuring the Energy Footprint of Mobile Testing Frameworks
机译:
海报:衡量移动测试框架的能源足迹
作者:
Luis Cruz
;
Rui Abreu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Energy consumption;
Energy efficiency;
Automation;
Testing;
Energy measurement;
Software engineering;
Software;
27.
Poster: Model-Based Adaptation to Extreme Physical Environments: A Case Study on Mixed-Criticality Industrial Ethernet
机译:
海报:基于模型的对极端物理环境的适应:以混合关键性工业以太网为例
作者:
Zonghui Li
;
Hai Wan
;
Yangdong Deng
;
Qinghan Yu
;
Tianchi Li
;
Wei Kang
;
Ming Gu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Adaptation models;
Temperature sensors;
Embedded systems;
Complexity theory;
Reliability;
Runtime;
Real-time systems;
28.
Poster: On Vulnerability Evolution in Android Apps
机译:
海报:Android应用程序中的漏洞演变
作者:
Jun Gao
;
Li Li
;
Pingfan Kong
;
Tegawendé F. Bissyandé
;
Jacques Klein
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Androids;
Humanoid robots;
Security;
Tools;
Ecosystems;
Software;
History;
29.
Poster: Path-Based Function Embeddings
机译:
海报:基于路径的函数嵌入
作者:
Daniel DeFreez
;
Aditya Thakur
;
Cindy Rubio-González
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Linux;
Vocabulary;
File systems;
Heuristic algorithms;
Kernel;
Software engineering;
30.
Poster: Precooked Developer Dashboards: What to Show and How to Use
机译:
海报:预煮的开发人员仪表板:显示内容和使用方法
作者:
Vladimir Ivanov
;
Alan Rogers
;
Giancarlo Succi
;
Jooyong Yi
;
Vasili Zorin
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Measurement;
Companies;
Software engineering;
Estimation;
Software quality;
Monitoring;
31.
Poster: Predicting the Fault Revelation Utility of Mutants
机译:
海报:预测突变体的错误启示实用程序
作者:
Thierry Chekam
;
Mike Papadakis
;
Tegawendé Bissyandé
;
Yves Le Traon
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Machine learning;
Benchmark testing;
Complexity theory;
Fault diagnosis;
Feature extraction;
Predictive models;
32.
Poster: Program Repair that Learns from Mistakes
机译:
海报:从错误中学到的程序修复
作者:
Bat-Chen Rothenberg
;
Orna Grumberg
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Maintenance engineering;
Computer bugs;
Software engineering;
Tools;
Software;
Cost accounting;
Focusing;
33.
Poster: Protecting Remote Controlling Apps of Smart-Home-Oriented IOT Devices
机译:
海报:保护面向智能家居的物联网设备的远程控制应用程序
作者:
Eric Ruiz
;
Richard Avelar
;
Xiaoyin Wang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Smart homes;
Encryption;
Androids;
Humanoid robots;
Software;
34.
Poster: Recommending Exception Handling Patterns with ExAssist
机译:
海报:使用ExAssist推荐异常处理模式
作者:
Tam Nguyen
;
Phong Vu
;
Hung Pham
;
Tung Nguyen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer bugs;
Androids;
Humanoid robots;
Tools;
Databases;
Software systems;
35.
Poster: Reordering Tests for Faster Test Suite Execution
机译:
海报:重新排序测试以更快地执行测试套件
作者:
Panagiotis Stratis
;
Ajitha Rajan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Optimized production technology;
Software engineering;
Measurement;
Approximation algorithms;
Indexes;
Benchmark testing;
36.
Poster: Runtime Verification of Memory Safety via Source Transformation
机译:
海报:通过源转换对内存安全性进行运行时验证
作者:
Zhe Chen
;
Junqi Yan
;
Wenming Li
;
Ju Qian
;
Zhiqiu Huang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Runtime;
Instruments;
Safety;
Software;
Computer science;
Computer architecture;
37.
Poster: Situation-Based E-Learning in Software Engineering
机译:
海报:软件工程中基于情境的在线学习
作者:
Wilhelm Koop
;
Tobias Brückmann
;
Marian Benner-Wickner
;
Markus Kleinschmidt
;
Volker Gruhn
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Metadata;
Software engineering;
Task analysis;
Object oriented modeling;
Electronic learning;
Software;
38.
Poster: Startup Software Development Education: A Systematic Mapping Study
机译:
海报:启动软件开发教育:系统映射研究
作者:
Rafael Chanin
;
Afonso Sales
;
Leandro Pompermaier
;
Rafael Prikladnicki
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software;
Education;
Software engineering;
Systematics;
Tools;
Best practices;
39.
Poster: Subsuming Mutation Operators
机译:
海报:包含变异算子
作者:
Huan Lin
;
Yawen Wang
;
Yunzhan Gong
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Conferences;
Software testing;
Switches;
Telecommunications;
Software;
Software engineering;
40.
Poster: Symbolic Path Cost Analysis for Side-Channel Detection
机译:
海报:用于边通道检测的符号路径成本分析
作者:
Tegan Brennan
;
Seemanta Saha
;
Tevfik Bultan
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Flow graphs;
Tools;
Optimization;
Side-channel attacks;
Java;
Timing;
41.
Poster: Systematic Top-Down Design of Cyber-Physical Models with Integrated Validation and Formal Verification
机译:
海报:具有集成验证和形式验证的网络物理模型的自上而下的设计
作者:
Christoph Luckeneder
;
Hermann Kaindl
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Analytical models;
Systematics;
Model checking;
Formal verification;
Complexity theory;
Software;
42.
Poster: Testing Heap-Based Programs with Java StarFinder
机译:
海报:使用Java StarFinder测试基于堆的程序
作者:
Long H. Pham
;
Quang Loc Le
;
Quoc-Sang Phan
;
Jun Sun
;
Shengchao Qin
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Data structures;
Java;
Tools;
Testing;
Sun;
Engines;
Libraries;
43.
Poster: The Buggy Side of Code Refactoring: Understanding the Relationship Between Refactorings and Bug
机译:
海报:代码重构的笨拙一面:了解重构与错误之间的关系
作者:
Isabella Ferreira
;
Eduardo Fernandes
;
Diego Cedrim
;
Anderson Uchôa
;
Ana Carla Bibiano
;
Alessandro Garcia
;
João Lucas Correia
;
Filipe Santos
;
Gabriel Nunes
;
Caio Barbosa
;
Baldoino Fonseca
;
Rafael de Mello
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer bugs;
Software engineering;
Complexity theory;
Java;
Software maintenance;
Marine vehicles;
44.
Poster: There is no Random Sampling in Software Engineering Research
机译:
海报:软件工程研究中没有随机抽样
作者:
Bilal Amir
;
Paul Ralph
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software engineering;
Software;
Sociology;
Statistics;
Systematics;
Bibliographies;
Java;
45.
Poster: Toward the Development of Richer Properties for Recommender Systems
机译:
海报:为推荐系统开发更丰富的属性
作者:
David Shriver
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Recommender systems;
Measurement;
Collaboration;
Filtering algorithms;
Prediction algorithms;
Space exploration;
46.
Poster: Towards Multi-robot Applications Planning Under Uncertainty
机译:
海报:不确定性下的多机器人应用程序规划
作者:
Claudio Menghi
;
Sergio García
;
Patrizio Pelliccione
;
Jana Tumova
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Robots;
Planning;
Uncertainty;
Computational modeling;
Synchronization;
Task analysis;
Analytical models;
47.
Poster: UMLx: A UML Diagram Analytic Tool for Software Management Decisions
机译:
海报:UMLx:用于软件管理决策的UML图分析工具
作者:
Kan Qi
;
Barry Boehm
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software engineering;
48.
Poster: Use of Trace Link Types in Issue Tracking Systems
机译:
海报:问题跟踪系统中跟踪链接类型的使用
作者:
Mihaela Todorova Tomova
;
Michael Rath
;
Patrick Mäder
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Cloning;
Computer bugs;
Semantics;
Software engineering;
Open source software;
Electric breakdown;
49.
Poster: Using Consensus to Automatically Infer Post-conditions
机译:
海报:使用共识自动推断后置条件
作者:
Jingyi Su
;
Mohd Arafat
;
Robert Dyer
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Inference algorithms;
Software engineering;
Target tracking;
Writing;
Specification languages;
Collective intelligence;
Libraries;
50.
Poster: When Students Meet Developers: Are Barcamps a Format for Interactive Software Engineering Education?
机译:
海报:当学生与开发人员见面时:Barcamps是交互式软件工程教育的一种形式吗?
作者:
Bianca Bergande
;
Philipp Brune
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Education;
Software engineering;
Software;
Information management;
Atmosphere;
Interviews;
Knowledge management;
51.
MuAlloy: A Mutation Testing Framework for Alloy
机译:
MuAlloy:合金的突变测试框架
作者:
Kaiyuan Wang
;
Allison Sullivan
;
Sarfraz Khurshid
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software engineering;
52.
How to Analyze Git Repositories with Command Line Tools: We're not in Kansas Anymore
机译:
如何使用命令行工具分析Git存储库:我们不再在堪萨斯州
作者:
Diomidis Spinellis
;
Georgios Gousios
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Software engineering;
Pipelines;
Software;
Data mining;
Data analysis;
Task analysis;
53.
Multi-view Editing of Software Product Lines with PEoPL
机译:
使用PEoPLE进行软件产品线的多视图编辑
作者:
Mukelabai Mukelabai
;
Benjamin Behringer
;
Moritz Fey
;
Jochen Palz
;
Jacob Krüger
;
Thorsten Berger
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software product lines;
Software;
Switches;
Maintenance engineering;
Task analysis;
Jacobian matrices;
54.
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
机译:
为社会编码增添光彩:npm生态系统中存储库徽章的实证研究
作者:
Asher Trockman
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Encoding;
Ecosystems;
Correlation;
Software engineering;
Software;
Quality assurance;
Market research;
55.
When the Testing Gets Tough, the Tough Get ElasTest
机译:
当测试变得艰难时,艰难就得到了ElasTest
作者:
Antonia Bertolino
;
Antonello Calabró
;
Guglielmo De Angelis
;
Micael Gallego
;
Boni García
;
Francisco Gortázar
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Testing;
Cloud computing;
Tools;
Automation;
Monitoring;
Computer architecture;
Instruments;
56.
SUSHI: A Test Generator for Programs with Complex Structured Inputs
机译:
SUSHI:用于具有复杂结构输入的程序的测试生成器
作者:
Pietro Braione
;
Giovanni Denaro
;
Andrea Mattavelli
;
Mauro Pezzè
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Generators;
Data structures;
Tools;
Test pattern generators;
Software engineering;
Search problems;
Law;
57.
Poster: Efficient and Deterministic Replay for Web-Enabled Android Apps
机译:
海报:启用Web的Android应用程序的高效,确定性重播
作者:
Fangge Yan
;
Mingyuan Xia
;
Zhengwei Qi
;
Xue Liu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Delays;
Androids;
Humanoid robots;
Tools;
Computer bugs;
Browsers;
58.
Poster: Efficient GUI Test Generation by Learning from Tests of Other Apps
机译:
海报:通过学习其他应用程序的测试来高效生成GUI测试
作者:
Andreas Rau
;
Jenny Hotzkow
;
Andreas Zeller
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Semantics;
Test pattern generators;
Feature extraction;
Graphical user interfaces;
Software engineering;
Natural languages;
59.
Poster: Exploration of Academic and Industrial Evidence about Architectural Tactics and Patterns in Microservices
机译:
海报:探索微服务中的建筑策略和模式的学术和工业证据
作者:
Felipe Osses
;
Gastón Márquez
;
Hernán Astudillo
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Industries;
Taxonomy;
Computer architecture;
Software architecture;
Systematics;
Software;
60.
Poster: Fast, Scalable and User-Guided Clone Detection
机译:
海报:快速,可扩展和用户指导的克隆检测
作者:
Jeffrey Svajlenko
;
Chanchal K. Roy
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Cloning;
Program processors;
Filtering;
Measurement;
Indexes;
Pipelines;
61.
Poster: Git Blame Who?: Stylistic Authorship Attribution of Small, Incomplete Source Code Fragments
机译:
海报:Git Blame Who ?:小而不完整的源代码片段的风格作者身份
作者:
Edwin Dauber
;
Aylin Caliskan
;
Richard Harang
;
Rachel Greenstadt
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Feature extraction;
Security;
Forestry;
Calibration;
Collaboration;
Vegetation;
Google;
62.
Poster: Grafter: Transplantation and Differential Testing for Clones
机译:
海报:Grafter:克隆的移植和差异测试
作者:
Tianyi Zhang
;
Miryung Kim
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Cloning;
Testing;
Software;
Runtime;
Tools;
Computer bugs;
63.
Poster: Guiding Developers to Make Informative Commenting Decisions in Source Code
机译:
海报:指导开发人员在源代码中做出有意义的评论决策
作者:
Yuan Huang
;
Nan Jia
;
Qiang Zhou
;
Xiangping Chen
;
Xiong Yingfei
;
Xiaonan Luo
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Syntactics;
Software engineering;
Software;
Semantics;
Programming;
Data mining;
Machine learning;
64.
Poster: How Do Modelers Read UML Diagrams? Preliminary Results from an Eye-Tracking Study
机译:
海报:建模人员如何阅读UML图?眼动研究的初步结果
作者:
Harald Störrle
;
Nick Baltsen
;
Henrik Christoffersen
;
Anja M. Maier
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Unified modeling language;
Layout;
Gaze tracking;
Visualization;
Software engineering;
Software;
Trajectory;
65.
Poster: Identification of Methods with Low Fault Risk
机译:
海报:确定低故障风险的方法
作者:
Rainer Niedermayr
;
Tobias Röhm
;
Stefan Wagner
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Measurement;
Fault diagnosis;
Testing;
Data mining;
Software engineering;
Java;
Complexity theory;
66.
Poster: Identifying TraIn: A Neglected Form of Socio-Technical Incongruence
机译:
海报:确定传讯:被忽略的社会技术不一致形式
作者:
Xiao Wang
;
Lu Xiao
;
Ye Yang
;
Xinyi Xu
;
Yu Jiang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Couplings;
Electronic mail;
Task analysis;
Productivity;
Software systems;
67.
Poster: Improving Formation of Student Teams: A Clustering Approach
机译:
海报:改进学生团队的形成:一种聚类方法
作者:
Shoaib Akbar
;
Edward Gehringer
;
Zhewei Hu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Mathematical model;
Computer science;
Education;
Clustering algorithms;
Software engineering;
Extraterrestrial measurements;
Conferences;
68.
Poster: Industrie 4.0 Virtual Automation Bus
机译:
海报:工业4.0虚拟自动化总线
作者:
Thomas Kuhn
;
Pablo Oliveira Antonino de Assis
;
Markus Damm
;
Andreas Morgenstern
;
Dirk Schulz
;
Constantin Ziesche
;
Thorsten Müller
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Automation;
Industries;
Production;
Data models;
Web services;
Real-time systems;
69.
Poster: Interlocking Safety Cases for Unmanned Autonomous Systems in Urban Environments
机译:
海报:城市环境中无人驾驶自治系统的联锁安全案例
作者:
Michael Vierhauser
;
Sean Bayley
;
Jinghui Cheng
;
Wandi Xiong
;
Robyn Lutz
;
Joshua Huseman
;
Jane Cleland-Huang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Safety;
Monitoring;
Runtime;
Autonomous systems;
Urban areas;
Computer science;
70.
Poster: Knowledge Transfer from Research to Industry: A Survey on Program Comprehension
机译:
海报:从研究到产业的知识转移:程序理解调查
作者:
Ivonne von Nostitz-Wallwitz
;
Jacob Krüger
;
Janet Siegmund
;
Thomas Leich
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Knowledge transfer;
Task analysis;
Industries;
Jacobian matrices;
Software engineering;
Programming;
71.
Natural Language Requirements Processing: From Research to Practice
机译:
自然语言需求处理:从研究到实践
作者:
Alessio Ferrari
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Natural language processing;
Tools;
Task analysis;
Information retrieval;
Gold;
Standards;
72.
An Approach to Engineer and Realize Emergent Configurations in the Internet of Things
机译:
在物联网中设计和实现紧急配置的方法
作者:
Fahed Alkhabbas
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Internet of Things;
Computer architecture;
Conferences;
Runtime;
Software;
Software architecture;
73.
Assessing Personalized Software Defect Predictors
机译:
评估个性化软件缺陷预测因子
作者:
Beyza Eken
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Data models;
Predictive models;
Software;
Adaptation models;
Analytical models;
Prediction algorithms;
Software algorithms;
74.
AnATLyzer: An Advanced IDE for ATL Model Transformations
机译:
AnATLyzer:用于ATL模型转换的高级IDE
作者:
Jesús Sánchez Cuadrado
;
Esther Guerra
;
Juan de Lara
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Unified modeling language;
Analytical models;
Tools;
Static analysis;
Visualization;
Computer bugs;
Software;
75.
Interactive and Automated Debugging for Big Data Analytics
机译:
交互式和自动化的大数据分析调试
作者:
Muhammad Ali Gulzar
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Debugging;
Big Data;
Testing;
Cloud computing;
Sparks;
Semantics;
Computer crashes;
76.
Understanding and Improving Cyber-Physical System Models and Development Tools
机译:
了解和改进网络物理系统模型和开发工具
作者:
Shafiul Azam Chowdhury
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Computer bugs;
Testing;
Software packages;
Analytical models;
Software engineering;
Semantics;
77.
Elixir: An Automated Repair Tool for Java Programs
机译:
Elixir:Java程序的自动修复工具
作者:
Ripon Saha
;
Hiroaki Yoshida
;
Mukul Prasad
;
Susumu Tokumoto
;
Kuniharu Takayama
;
Isao Nanba
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Maintenance engineering;
Computer bugs;
Tools;
Java;
Software;
Object oriented modeling;
Machine learning;
78.
Automated Migration Support for Software Product Line Co-evolution
机译:
对软件产品线协同进化的自动迁移支持
作者:
Lea Gerling
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Semantics;
Merging;
Software product lines;
Task analysis;
Software maintenance;
79.
Automatic Software Summarization: The State of the Art
机译:
自动软件概述:最新技术
作者:
Laura Moreno
;
Andrian Marcus
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software;
Software engineering;
Task analysis;
Computer science;
Standards;
Computer bugs;
Data mining;
80.
Automatically Finding Bugs in Commercial Cyber-Physical System Development Tool Chains
机译:
自动发现商业网络物理系统开发工具链中的错误
作者:
Shafiul Azam Chowdhury
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Software packages;
Computer bugs;
Testing;
Analytical models;
Computational modeling;
Cyber-physical systems;
81.
ReGuard: Finding Reentrancy Bugs in Smart Contracts
机译:
ReGuard:在智能合约中查找重入错误
作者:
Chao Liu
;
Han Liu
;
Zhao Cao
;
Zhong Chen
;
Bangdao Chen
;
Bill Roscoe
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Contracts;
Computer bugs;
Fuzzing;
C++ languages;
Engines;
Automata;
82.
KernelHaven – An Experimentation Workbench for Analyzing Software Product Lines
机译:
KernelHaven –用于分析软件产品线的实验工作台
作者:
Christian Kröher
;
Sascha El-Sharkawy
;
Klaus Schmid
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Data mining;
Pipelines;
Data models;
Feature extraction;
Tools;
Analytical models;
Software engineering;
83.
EVA: A Tool for Visualizing Software Architectural Evolution
机译:
EVA:一种可视化软件体系结构演变的工具
作者:
Daye Nam
;
Youn Kyu Lee
;
Nenad Medvidovic
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Computer architecture;
Context;
Tools;
Software systems;
Data visualization;
Data mining;
84.
The Relationship between Personality and Value-Based Decision-Making
机译:
人格与基于价值的决策之间的关系
作者:
Fabiana Freitas Mendes
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Decision making;
Software engineering;
Software;
Companies;
Stakeholders;
Bibliographies;
Systematics;
85.
Characteristics of Defective Infrastructure as Code Scripts in DevOps
机译:
DevOps中有缺陷的基础架构作为代码脚本的特征
作者:
Akond Rahman
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software;
Organizations;
Security;
Measurement;
Privacy;
Predictive models;
Tools;
86.
Poster: Efficiently Finding Minimal Failing Input in MapReduce Programs
机译:
海报:在MapReduce程序中有效地找到最少的失败输入
作者:
Muhammad Sohaib Ayub
;
Junaid Haroon Siddiqui
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Debugging;
Testing;
Task analysis;
Software engineering;
Software;
Fault tolerance;
Fault tolerant systems;
87.
Poster: Multidisciplinary Skill Assessment for Embedded Software Development Education via a Robot Contest
机译:
海报:通过机器人竞赛进行嵌入式软件开发教育的多学科技能评估
作者:
Harumi Watanabe
;
Mikiko Sato
;
Masafumi Miwa
;
Makoto Imamura
;
Shintaro Hosoai
;
Nobuhiko Ogura
;
Hiroyuki Nakamura
;
Kenji Hisazumi
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Educational robots;
Embedded software;
Embedded systems;
Seminars;
Software engineering;
88.
Poster: A Weight-Based Approach to Combinatorial Test Generation
机译:
海报:基于权重的组合测试生成方法
作者:
Jing Zhao
;
Gaorong Ning
;
Hualin Lu
;
Yanbin Wang
;
Cai Yan
;
Jian Zhang
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Software;
Software testing;
Fault detection;
Software engineering;
Measurement;
Benchmark testing;
89.
Poster: ACONA: Active Online Model Adaptation for Predicting Continuous Integration Build Failures
机译:
海报:ACONA:用于预测持续集成构建失败的主动在线模型调整
作者:
Ansong Ni
;
Ming Li
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Adaptation models;
Data models;
Software;
Software engineering;
Predictive models;
Machine learning;
Computational modeling;
90.
Poster: ALPACA-Advanced Linguistic Pattern and Concept Analysis Framework for Software Engineering Corpora
机译:
海报:用于软件工程语料库的ALPACA-高级语言模式和概念分析框架
作者:
Phong Vu
;
Tam Nguyen
;
Hung Pham
;
Tung Nguyen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Market research;
Linguistics;
Dictionaries;
Vocabulary;
Security;
Task analysis;
Software engineering;
91.
Poster: An Automated and Instant Discovery of Concrete Repairs for Model Inconsistencies
机译:
海报:自动并即时发现模型不一致的混凝土维修
作者:
Roland Kretschmer
;
Djamel Eddine Khelladi
;
Alexander Egyed
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Maintenance engineering;
Unified modeling language;
Computational modeling;
Model driven engineering;
Software engineering;
Space exploration;
92.
Poster: An Experimental Analysis of Fault Detection Capabilities of Covering Array Constructors
机译:
海报:覆盖阵列构造函数的故障检测能力的实验分析
作者:
Rubing Huang
;
Yunan Zhou
;
Tsong Yueh Chen
;
Dave Towey
;
Jinfu Chen
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Fault detection;
Software engineering;
Tools;
Software testing;
Software;
Generators;
93.
SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications
机译:
SQLInspect:静态分析器,用于检查Java应用程序中的数据库使用情况
作者:
Csaba Nagy
;
Anthony Cleve
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Databases;
Java;
Structured Query Language;
Tools;
Measurement;
Standards;
Software engineering;
94.
State of the Systems Security
机译:
系统安全状态
作者:
Eric Bodden
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Software engineering;
Software systems;
Cyberattack;
95.
Combining Symbolic Execution and Model Checking to Verify MPI Programs
机译:
结合符号执行和模型检查以验证MPI程序
作者:
Hengbiao Yu
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
System recovery;
Model checking;
Mathematical model;
Message passing;
Standards;
Task analysis;
High performance computing;
96.
Perceval: Software Project Data at Your Will
机译:
Perceval:随心所欲的软件项目数据
作者:
Santiago Dueñas
;
Valerio Cosentino
;
Gregorio Robles
;
Jesus M. Gonzalez-Barahona
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Tools;
Libraries;
Data visualization;
Python;
Cloning;
Data analysis;
97.
Strategy for Continuous Testing in iDevOps
机译:
iDevOps中连续测试的策略
作者:
Peter Zimmerer
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Testing;
Software;
Pipelines;
Production;
Automation;
Logic gates;
Tutorials;
98.
MDebugger: A Model-Level Debugger for UML-RT
机译:
MDebugger:UML-RT的模型级调试器
作者:
Mojtaba Bagherzadeh
;
Nicolas Hili
;
David Seekatz
;
Juergen Dingel
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Unified modeling language;
Debugging;
Instruments;
Graphical user interfaces;
Tools;
Real-time systems;
Semantics;
99.
Constructing Supply Chains in Open Source Software
机译:
在开源软件中构建供应链
作者:
Yuxing Ma
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Supply chains;
Knowledge engineering;
Open source software;
Tools;
Risk management;
Production facilities;
100.
ReVision: A Tool for History-Based Model Repair Recommendations
机译:
ReVision:基于历史记录的模型修复建议的工具
作者:
Manuel Ohrndorf
;
Christopher Pietsch
;
Udo Kelter
;
Timo Kehrer
会议名称:
《2018 IEEE/ACM 40th International Conference on Software Engineering: Companion》
|
2018年
关键词:
Maintenance engineering;
Unified modeling language;
Tools;
Proposals;
History;
Servers;
Software;
意见反馈
回到顶部
回到首页