掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Symposium on Software Reliability Engineering Workshops
International Symposium on Software Reliability Engineering Workshops
召开年:
2019
召开地:
Berlin(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Study of Redundant Metrics in Defect Prediction Datasets
机译:
缺陷预测数据集冗余度量研究
作者:
Jirayus Jiarpakdee
;
Chakkrit Tantithamthavorn
;
Akinori Ihara
;
Kenichi Matsumoto
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Predictive models;
Redundancy;
Software quality;
Software metrics;
Correlation;
2.
A Platform for Automating Chaos Experiments
机译:
自动混沌实验的平台
作者:
Aaron Blohowiak
;
Ali Basiri
;
Lorin Hochstein
;
Casey Rosenthal
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Servers;
Chaos;
Blogs;
Cloud computing;
Streaming media;
Production;
Measurement;
3.
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems
机译:
基于Amanat的汽车系统外包软件的多方认证协议
作者:
Chung-Wei Lin
;
Shinichi Shiraishi
;
BaekGyu Kim
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software;
Protocols;
Automotive engineering;
Testing;
Ecosystems;
Analytical models;
Public key;
4.
A Formal Model for Stateful and Variant-Rich Automotive Functions
机译:
用于富有的全面的汽车功能的正式模型
作者:
Michael K??meyer
;
Peter Bazan
;
Markus Schurius
;
Rüdiger Berndt
;
Reinhard German
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Computer architecture;
Vehicles;
Automotive engineering;
Software;
Safety;
Sensor phenomena and characterization;
5.
TestEX: A Search Tool for Finding and Retrieving Example Unit Tests from Open Source Projects
机译:
testex:从开源项目查找和检索示例单元测试的搜索工具
作者:
Danielle Gonzalez
;
Andrew Popovich
;
Mehdi Mirakhorli
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Testing;
Search engines;
Software;
Data mining;
Java;
Indexes;
Computer architecture;
6.
Antipattern-Based Problem Injection for Assessing Performance and Reliability Evaluation Techniques
机译:
基于反图特的问题注射,用于评估性能和可靠性评估技术
作者:
Philipp Keck
;
André Van Hoorn
;
Du?an Okanovi?
;
Teerat Pitakrat
;
Thomas F. Düllmann
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Libraries;
Bridges;
Instruments;
Software reliability;
Software systems;
7.
Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability Assessment
机译:
考虑到软件可靠性评估中具有不完美调试的随机现场环境的测试覆盖和故障删除效率
作者:
Qiuying Li
;
Chengyong Mao
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software reliability;
Data models;
Testing;
Software;
Fault detection;
Debugging;
8.
Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel
机译:
从Linux内核的正式验证研究中练习工程师的见解
作者:
Suresh Kothari
;
Payas Awadhutkar
;
Ahmed Tamrawi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Linux;
Computational modeling;
Computer bugs;
Kernel;
Visualization;
Government;
9.
Software Aging Detection Based on Differential Analysis: An Experimental Study
机译:
基于差分分析的软件老化检测:实验研究
作者:
Rivalino Matias
;
Guilherme O. de Sena
;
Artur Andrzejak
;
Kishor S. Trivedi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Aging;
Software;
Robustness;
Measurement;
Time series analysis;
Data processing;
Memory management;
10.
Healing Data Loss Problems in Android Apps
机译:
Android应用中的治疗数据丢失问题
作者:
Oliviero Riganelli
;
Daniela Micucci
;
Leonardo Mariani
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Androids;
Humanoid robots;
Reactive power;
Computer crashes;
Testing;
Concrete;
Monitoring;
11.
Programming the Network: Application Software Faults in Software-Defined Networks
机译:
编程网络:软件定义网络中的应用软件故障
作者:
Lalita J. Jagadeesan
;
Veena Mendiratta
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
software reliability;
learning (artificial intelligence);
software defined networking;
12.
Replaying Harmful Data Races in Android Apps
机译:
在Android应用程序中重播有害数据比赛
作者:
Quan Sun
;
Lei Xu
;
Lin Chen
;
Weifeng Zhang
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Androids;
Humanoid robots;
Message systems;
Computer bugs;
Smart phones;
Concurrent computing;
Presses;
13.
NPI-Based Adaptive Software Rejuvenation Schedule under Random Censoring
机译:
基于NPI的自适应软件复兴时间表在随机审查下
作者:
Koichiro Rinsaka
;
W. Eric Wong
;
Tadashi Dohi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Schedules;
Probability distribution;
Software systems;
Markov processes;
Steady-state;
Robustness;
14.
Safety Assurance for Emergent Collaboration of Open Distributed Systems
机译:
开放分布式系统紧急合作的安全保障
作者:
Sebastian Mueller
;
Peter Liggesmeyer
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Safety;
Runtime;
Collaboration;
Vehicle dynamics;
Contracts;
Autonomous vehicles;
15.
Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization Arsenal
机译:
对单元测试认知支持的表征的进步:禁止狩猎游戏和可视化库
作者:
Marllos P. Prado
;
Auri M. R. Vincenzi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Testing;
Visualization;
Data visualization;
Proposals;
Systematics;
Usability;
Games;
16.
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
机译:
关于符合DO-178C标准的航空电子软件开发和认证的模型支持探索
作者:
Andrés Paz
;
Ghizlane El Boussaidi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software;
Unified modeling language;
Safety;
Aerospace electronics;
Data models;
Standards;
Atmospheric modeling;
17.
Bug Bash: An Efficient Approach to Increase Test Coverage and Ensure Product Quality in an Agile Environment
机译:
BUG BASH:一种提高测试覆盖率的有效方法,并确保在敏捷环境中的产品质量
作者:
Uma M. Balasubramani
;
Kartik Iyer
;
Balaji S. Krishnan
;
Hema Kovvuri
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Computer bugs;
Testing;
Lead;
Security;
Documentation;
Planning;
Complexity theory;
18.
An Adaptive Sequence Approach for OOS Test Case Prioritization
机译:
用于OOS测试案例优先级的自适应序列方法
作者:
Jinfu Chen
;
Lili Zhu
;
Tsong Yueh Chen
;
Rubing Huang
;
Dave Towey
;
Fei-Ching Kuo
;
Yuchi Guo
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Testing;
Clustering algorithms;
Algorithm design and analysis;
Software;
Fault detection;
Random sequences;
Subspace constraints;
19.
Integrated Formal Methods for Constructing Assurance Cases
机译:
构建保证案件的综合形式方法
作者:
Carmen Carlan
;
Tewodros A. Beyene
;
Harald Ruess
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Safety;
Standards;
Testing;
Software;
Encoding;
Uncertainty;
Employment;
20.
Bayesian Network Based Program Dependence Graph for Fault Localization
机译:
基于贝叶斯网络的程序依赖性图对故障定位
作者:
Xiao Yu
;
Jin Liu
;
Zijiang James Yang
;
Xiao Liu
;
Xiaofei Yin
;
Shijie Yi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Bayes methods;
Probabilistic logic;
Microwave integrated circuits;
Cognition;
Mutual information;
Graphical models;
Probability distribution;
21.
An Automated (F) LTL Test Oracle for Testing with Requirements
机译:
用于测试要求的自动化(F)LTL测试Oracle
作者:
Ingo Pill
;
Franz Wotawa
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Semantics;
Brakes;
Testing;
Encoding;
Automobiles;
Debugging;
Context;
22.
Static Spreadsheet Analysis
机译:
静态电子表格分析
作者:
Patrick W. Koch
;
Birgit Hofer
;
Franz Wotawa
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Contracts;
Indexes;
Companies;
Aggregates;
Writing;
Prototypes;
Software reliability;
23.
Research Proposal: Reliability Evaluation of the Apache Kafka Streaming System
机译:
研究提案:Apache Kafka流系统的可靠性评估
作者:
Han Wu
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fault tolerant computing;
Internet;
24.
Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study
机译:
量化随机硬件故障对安全关键AI应用的影响:基于CNN的交通标志识别案例研究
作者:
Michael Beyer
;
Andrey Morozov
;
Kai Ding
;
Sheng Ding
;
Klaus Janschek
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
convolutional neural nets;
image recognition;
pattern classification;
safety-critical software;
software fault tolerance;
traffic engineering computing;
25.
Multi-objective Optimization Research and Applied in Cloud Computing
机译:
多目标优化研究与云计算
作者:
Guang Peng
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
Pareto optimisation;
particle swarm optimisation;
26.
Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering
机译:
用于保证和认证的工具支持和以知识为中心的系统工程集成
作者:
Jose Luis de la Vara
;
Eugenio Parra
;
Luis Alonso
;
Roy Mendieta
;
Borja López
;
Jose María álvarez-Rodríguez
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
formal specification;
open systems;
software architecture;
systems engineering;
Web services;
27.
TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka
机译:
Trak:用于研究Apache Kafka中数据交付可靠性的测试工具
作者:
Han Wu
;
Zhihao Shang
;
Katinka Wolter
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fault tolerant computing;
Internet;
Internet of Things;
protocols;
quality of service;
real-time systems;
telecommunication network reliability;
28.
Simulation-Based Testing to Improve Safety of Autonomous Robots
机译:
基于仿真的测试,提高自治机器人安全性
作者:
Luca Vittorio Sartori
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
mobile robots;
program testing;
software fault tolerance;
29.
Recommendation of Refactorings for Improving Dependability Attributes
机译:
改进可靠性属性的重构推荐
作者:
Willian Nalepa Oizumi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
software maintenance;
software metrics;
software quality;
30.
Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems
机译:
迈向智能生态系统中恶意行为检测的运行时监控
作者:
Emilia Cioroaica
;
Felicita Di Giandomenico
;
Thomas Kuhn
;
Francesca Lonetti
;
Eda Marchetti
;
Jasmin Jahic
;
Frank Schnicke
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
data visualisation;
software agents;
31.
From Monolithic Architecture to Microservices Architecture
机译:
从单片架构到微服务架构
作者:
Lorenzo De Lauretis
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
service-oriented architecture;
software prototyping;
32.
A Framework for Resilient Data Management for Smart Grids
机译:
智能网格的弹性数据管理框架
作者:
Theresa Bettmann
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
power system measurement;
smart meters;
smart power grids;
33.
Dependency Graph Based Failure Analysis for Private Clouds
机译:
基于私有云的基于依赖图的失败分析
作者:
Nathan Riopelle
;
Aniket Malatpure
;
Swapnil Ashtekar
;
V Raman
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
data analysis;
failure analysis;
graph theory;
34.
Learning from Time Series with Outlier Correction for Malicious Domain Identification
机译:
从时间序列与异常策略进行学习恶意域识别
作者:
Guolin Tan
;
Peng Zhang
;
Lei Zhang
;
Yu Zhang
;
Chuang Zhang
;
Qingyun Liu
;
Xinran Liu
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
data mining;
learning (artificial intelligence);
pattern classification;
pattern clustering;
time series;
35.
Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing
机译:
用边缘计算分析植物异常检测的软件老化影响
作者:
Ermeson Andrade
;
Fumio Machida
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
data analysis;
Petri nets;
probability;
program diagnostics;
query processing;
security of data;
software performance evaluation;
stochastic processes;
36.
Toward In-Vivo Testing of Mobile Applications
机译:
朝向移动应用的体内测试
作者:
Mariano Ceccato
;
Luca Gazzola
;
Fitsum Meshesha Kifetew
;
Leonardo Mariani
;
Matteo Orrù
;
Paolo Tonella
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
mobile computing;
operating systems (computers);
program testing;
37.
Software Longevity in the Wild: Folklore and Law
机译:
野外的软件寿命:民间传说和法律
作者:
Mateus Nogueira
;
Felipe Assis
;
Daniel Menasché
;
Geraldo Xexéo
;
Katinka Wolter
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
aerospace computing;
cultural aspects;
Internet;
law;
software maintenance;
38.
Rejuvenation and the Age of Information
机译:
恢复活力和信息的年龄
作者:
Daniel Menasché
;
Kishor Trivedi
;
Eitan Altman
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
Markov processes;
software maintenance;
software reliability;
39.
Towards Testing the Software Aging Behavior of Hypervisor Hypercall Interfaces
机译:
用于测试虚拟机管理程序超级界面的软件老化行为
作者:
Lukas Beierlieb
;
Lukas Iffl?nder
;
Aleksandar Milenkoski
;
Charles F. Gon?alves
;
Nuno Antunes
;
Samuel Kounev
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
program testing;
system monitoring;
virtual machines;
40.
Anomaly Detection As-a-Service
机译:
异常检测AS-A-Service
作者:
Marco Mobilio
;
Matteo Orrù
;
Oliviero Riganelli
;
Alessandro Tundo
;
Leonardo Mariani
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
system monitoring;
41.
An Analysis of Factors Affecting Software Safety in the Aerospace Industry
机译:
影响航空航天工业软件安全的因素分析
作者:
Wenlu Li
;
Qiuying Li
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
aerospace industry;
project management;
safety-critical software;
software quality;
statistical analysis;
42.
Analyzing and Improving Customer-Side Cloud Security Certifiability
机译:
分析与提高客户侧云安全认证性
作者:
Shujie Zhao
;
Yiqun Chen
;
Stefan Winter
;
Neeraj Suri
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
contracts;
outsourcing;
security of data;
software standards;
43.
Automated Repair of Cross-Site Scripting Vulnerabilities through Unit Testing
机译:
通过单元测试自动修复跨站点脚本漏洞
作者:
Mahmoud Mohammadi
;
Bill Chu
;
Heather Richter Lipford
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fraud;
Internet;
online front-ends;
program diagnostics;
program testing;
security of data;
software maintenance;
Web sites;
44.
Automatic Cause Detection of Performance Problems in Web Applications
机译:
Web应用中的性能问题的自动原因检测
作者:
Quentin Fournier
;
Naser Ezzati-jivan
;
Daniel Aloise
;
Michel R. Dagenais
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cache storage;
Internet;
45.
Pinpoint Data Races via Testing and Classification
机译:
通过测试和分类针对数据比赛
作者:
Marc Hartung
;
Florian Schintke
;
Thorsten Schütt
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
multi-threading;
pattern classification;
program debugging;
program diagnostics;
program testing;
scheduling;
shared memory systems;
Unix;
46.
Big-Data Applications as Self-Adaptive Systems of Systems
机译:
大数据应用作为系统的自适应系统
作者:
Luciano Baresi
;
Giovanni Denaro
;
Giovanni Quattrocchi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
Big Data;
cloud computing;
parallel processing;
resource allocation;
virtual machines;
virtualisation;
47.
Resilient Reactive Systems Based on Runtime Semantic Models
机译:
基于运行时语义模型的弹性反应系统
作者:
Ester Giallonardo
;
Francesco Poggi
;
Davide Rossi
;
Eugenio Zimeo
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
building management systems;
cyber-physical systems;
history;
Internet of Things;
ubiquitous computing;
48.
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL
机译:
建模DO-178C保证需求:设计保证水平敏感DSL
作者:
Nicolas Metayer
;
Andrés Paz
;
Ghizlane El Boussaidi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
aerospace computing;
avionics;
certification;
embedded systems;
safety;
safety-critical software;
simulation languages;
software engineering;
Unified Modeling Language;
49.
Extending Automated FLTL Test Oracles with Diagnostic Support
机译:
扩展自动化FLTL测试oracels诊断支持
作者:
Ingo Pill
;
Franz Wotawa
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fault diagnosis;
program debugging;
program testing;
temporal logic;
50.
Multiple Fault-Tolerance Mechanisms in Cloud Systems: A Systematic Review
机译:
云系统中多重容错机制:系统评价
作者:
Philippe Marcotte
;
Frédéric Grégoire
;
Fabio Petrillo
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
checkpointing;
cloud computing;
fault tolerance;
fault tolerant computing;
software fault tolerance;
51.
Analysis on Causal-Effect Relationship in Effort Metrics Using Bayesian LiNGAM
机译:
使用Bayesian Lingam努力度量的因果效应关系分析
作者:
Masanari Kondo
;
Osamu Mizuno
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Optical wavelength conversion;
Measurement;
Estimation;
Software;
Bayes methods;
Companies;
Data models;
52.
A Model Based Systems Engineering Approach to Resiliency Analysis of a Cyberphysical System
机译:
基于模型的网络物理系统的弹性分析的系统工程方法
作者:
Myron Hecht
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Mathematical model;
Relays;
Analytical models;
Computer crime;
Malware;
53.
A Framework to Support Generation and Maintenance of an Assurance Case
机译:
支持生成和维护保证案件的框架
作者:
Chung-Ling Lin
;
Wuwei Shen
;
Steven Drager
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software;
Unified modeling language;
Maintenance engineering;
Certification;
Hazards;
Automation;
54.
Using Learning Styles to Staff and Improve Software Inspection Team Performance
机译:
对员工使用学习方式,提高软件检验团队表现
作者:
Anurag Goswami
;
Gursimran S. Walia
;
Urvashi Rathod
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Inspection;
Software;
Fault diagnosis;
Industries;
Atmospheric measurements;
Particle measurements;
Diamond;
55.
Time and Space Partitioning Using On-Board Software Reference Architecture
机译:
使用板载软件参考架构的时间和空间分区
作者:
Victor Bos
;
Timo Veps?l?inen
;
Yuliya Prokhorova
;
Timo Latvala
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software;
Computer architecture;
Satellites;
Payloads;
Aerospace electronics;
Space vehicles;
Schedules;
56.
Model-Based Software Engineering and Certification: Some Open Issues
机译:
基于模型的软件工程和认证:一些开放问题
作者:
Stefano Russo
;
Fabio Scippacercola
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Unified modeling language;
Standards;
Safety;
Software;
Analytical models;
Software engineering;
57.
Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System
机译:
经验教训:在连续集成系统中使用静态分析工具
作者:
Claude Bolduc
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Engines;
Software;
Standards;
Software reliability;
Companies;
Context;
58.
A Phase Expansion Approach for Transient Analysis of Software Rejuvenation Model
机译:
软件复兴模型瞬态分析的相位扩展方法
作者:
Hiroyuki Okamura
;
Tadashi Dohi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software;
Transient analysis;
Markov processes;
Numerical models;
Software reliability;
Robustness;
59.
GPU Acceleration of Document Similarity Measures for Automated Bug Triaging
机译:
GPU自动化臭虫三环文档相似措施的加速
作者:
Tim Dunn
;
Natasha Kholgade Banerjee
;
Sean Banerjee
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Computer bugs;
Graphics processing units;
Acceleration;
Instruction sets;
Dictionaries;
Computer graphics;
Computer vision;
60.
The Slice Navigator: Focused Debugging with Interactive Dynamic Slicing
机译:
Slice Navigator:使用交互式动态切片聚焦调试
作者:
Arian Treffer
;
Matthias Uflacker
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software reliability;
Conferences;
61.
A Systematic Mapping Review of the First 20 Years of Software Aging and Rejuvenation Research
机译:
软件老化和复兴研究的前20年系统映射综述
作者:
Nathalia Assis Valentim
;
Autran Macedo
;
Rivalino Matias
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Aging;
Software;
Market research;
Analytical models;
Systematics;
Markov processes;
Petri nets;
62.
An Empirical Study of Software Aging Manifestations in Android
机译:
Android软件老化表现的实证研究
作者:
Yu Qiao
;
Zheng Zheng
;
Fangyun Qin
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Aging;
Androids;
Humanoid robots;
Software;
Time factors;
Cameras;
Smart phones;
63.
An Experimental Implementation of Software Rejuvenation in Time Warp Simulation
机译:
试论经线仿真软件复兴的实验实施
作者:
Mamoru Ohara
;
Satoshi Fukumoto
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software;
Computational modeling;
Time warp simulation;
Analytical models;
Synchronization;
Software reliability;
64.
Certification of Medical Information Systems: Towards a Foundational Framework and Methodology
机译:
医疗信息系统认证:走向基础框架和方法
作者:
Jens H. Weber
;
Morgan Price
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Certification;
Safety;
Security;
Modeling;
Information systems;
Regulators;
Software;
65.
A Study of Failures in Community Clusters: The Case of Conte
机译:
社区集群失败的研究:符合的情况
作者:
Subrata Mitra
;
Suhas Javagal
;
Amiya K. Maji
;
Todd Gamblin
;
Adam Moody
;
Stephen Harrell
;
Saurabh Bagchi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Libraries;
Program processors;
Supercomputers;
Data analysis;
Software reliability;
Organizations;
66.
Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems
机译:
工作负载依赖性软件老化对服务器虚拟化系统中性能和能耗的影响
作者:
Mohamed Escheikh
;
Zayneb Tayachi
;
Kamel Barkaoui
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Aging;
Software;
Virtual machine monitors;
Servers;
Energy consumption;
Numerical models;
Power demand;
67.
On Automatic Detection of Performance Bugs
机译:
关于绩效错误的自动检测
作者:
Sokratis Tsakiltsidis
;
Andriy Miranskyy
;
Elie Mazzawi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Computer bugs;
Software;
Real-time systems;
Predictive models;
Mobile communication;
Testing;
Computer languages;
68.
A Clone Code Detection Method Based on Software Complex Network
机译:
一种基于软件复杂网络的克隆代码检测方法
作者:
Haoran Guo
;
Jun Ai
;
Tao Shi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
complex networks;
program diagnostics;
security of data;
software maintenance;
69.
Advancing Monitoring in Microservices Systems
机译:
在微服务系统中推进监测
作者:
Marcello Cinque
;
Raffaele Della Corte
;
Antonio Pecchia
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
software architecture;
software reliability;
system monitoring;
70.
The Performance and Dependability of Control Plane in OpenFlow Networks
机译:
控制平面在开放网络中的性能和可靠性
作者:
Zhihao Shang
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
computer network management;
computer network reliability;
failure analysis;
queueing theory;
statistical distributions;
stochastic processes;
telecommunication traffic;
71.
EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel
机译:
EN-50128认证设计安全 - 严重的硬实时内核
作者:
Ciro Donnarumma
;
Pietro Fara
;
Gabriele Serra
;
Sandro Di Leonardi
;
Mauro Marinoni
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
certification;
design engineering;
operating system kernels;
railway safety;
railways;
safety-critical software;
standards;
72.
Governing Regression Testing in Systems of Systems
机译:
系统系统中的回归测试
作者:
Antonia Bertolino
;
Guglielmo De Angelis
;
Francesca Lonetti
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
program testing;
73.
Automatic Performance Monitoring and Regression Testing During the Transition from Monolith to Microservices
机译:
从泰勒斯到微服务的转换过程中自动性能监测和回归测试
作者:
Andrea Janes
;
Barbara Russo
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
data privacy;
distributed databases;
program testing;
software performance evaluation;
74.
To Coerce or Not to Coerce? A Quantitative Investigation on Cybersecurity and Cybercrime Legislations Towards Large-Scale Vulnerability Notifications
机译:
要胁迫或不容胁迫吗?对大规模漏洞通知的网络安全和网络犯罪法规的定量调查
作者:
Serigne Mouhamadane Diop
;
Jema David Ndibwile
;
Doudou Fall
;
Shigeru Kashihara
;
Youki Kadobayashi
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
computer crime;
legislation;
risk management;
75.
Coordinated Analysis of Heterogeneous Monitor Data in Enterprise Clouds for Incident Response
机译:
事件云企业云中异构监测数据的协调分析
作者:
Uttam Thakore
;
Harigovind V. Ramasamy
;
William H. Sanders
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
data analysis;
feature extraction;
76.
SHCoT: Secure (and Verified) Hybrid Chain of Trust to Protect from Malicious Software in LightWeight Devices
机译:
SHCOT:安全(和验证)信任混合链,以防止轻量级设备中的恶意软件
作者:
Abderrahmane Sensaoui
;
Oum-El-Kheir Aktouf
;
David Hely
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
formal verification;
security of data;
77.
Applying Modified Code Entity-Based Regression Test Selection for Manual End-to-End Testing of Commercial Web Applications
机译:
应用基于修改的代码实体的回归测试选择进行商业Web应用程序的手动端到端测试
作者:
Takao Nakagawa
;
Kazuki Munakata
;
Koji Yamamoto
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
Internet;
program testing;
regression analysis;
software maintenance;
78.
Engineering and Hardening of Functional Fail-Operational Architectures for Highly Automated Driving
机译:
高度自动化驾驶功能故障运算架构的工程和硬化
作者:
Rasmus Adler
;
Mohammed Naveed Akram
;
Patrik Feth
;
Takeshi Fukuda
;
Tasuku Ishigooka
;
Satoshi Otsuka
;
Daniel Schneider
;
Kentaro Yoshimura
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
automotive engineering;
design engineering;
road safety;
vehicle dynamics;
vehicular ad hoc networks;
79.
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems
机译:
适应广场的人工智能系统质量评估
作者:
Hiroshi Kuwajima
;
Fuyuki Ishikawa
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
IEC standards;
ISO standards;
learning (artificial intelligence);
quality management;
software quality;
80.
MemDefender: An Allocation Monitoring and Memory Leak Injection Tool for Java
机译:
MemDefender:Java的分配监控和内存泄漏注入工具
作者:
Mohammadreza Ghanavati
;
Artur Andrzejak
;
Felix Langner
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
Java;
software fault tolerance;
storage management;
system monitoring;
81.
Flexible Soft Error Mitigation Strategy for Memories in Mixed-Critical Systems
机译:
混合关键系统记忆的灵活软错误缓解策略
作者:
Amer Kajmakovic
;
Konrad Diwold
;
Nermin Kajtazovic
;
Robert Zupanc
;
Georg Macher
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
circuit reliability;
error correction;
fault diagnosis;
integrated memory circuits;
radiation hardening (electronics);
safety-critical software;
82.
Chaotic Compilation: A (Statistical) Cloak for a Secret Computer
机译:
混沌汇编:秘密计算机的(统计)斗篷
作者:
Peter T. Breuer
;
Jonathan P. Bowen
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
C language;
cryptography;
polynomials;
program compilers;
program control structures;
83.
Advances in Artefact Quality Analysis for Safety-Critical Systems
机译:
安全关键系统的人工制品质量分析进展
作者:
Eugenio Parra
;
Luis Alonso
;
Roy Mendieta
;
Jose Luis de la Vara
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
program verification;
safety-critical software;
software metrics;
software quality;
84.
Mobile App to SGX Enclave Secure Channel
机译:
移动应用程序到SGX接地安全通道
作者:
Fernando Kaway Carvalho Ota
;
Jorge Augusto Meira
;
Cyril Renaud Cassagnes
;
Radu State
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cryptographic protocols;
data privacy;
mobile computing;
85.
Towards Rust for Critical Systems
机译:
对于关键系统锈蚀
作者:
André Pinho
;
Luis Couto
;
José Oliveira
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
formal verification;
safety-critical software;
86.
Software Framework for Data Fault Injection to Test Machine Learning Systems
机译:
用于测试机器学习系统的数据故障注射软件框架
作者:
Jukka K Nurminen
;
Tuomas Halvari
;
Juha Harviainen
;
Juha Myll?ri
;
Antti R?ysk?
;
Juuso Silvennoinen
;
Tommi Mikkonen
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fault tolerant computing;
handwritten character recognition;
learning (artificial intelligence);
87.
Safe Compilation for Hidden Deterministic Hardware Aliasing
机译:
隐藏确定性硬件混叠的安全编译
作者:
Peter T. Breuer
;
Jonathan P. Bowen
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
aerospace computing;
embedded systems;
Mars;
program compilers;
program verification;
88.
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang
机译:
Go-Sanitizer:Golang面向错误的断言
作者:
Cong Wang
;
Hao Sun
;
Yiwen Xu
;
Yu Jiang
;
Huafeng Zhang
;
Ming Gu
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fuzzy set theory;
program debugging;
program diagnostics;
program testing;
program verification;
security of data;
89.
Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities
机译:
通过基于测试的软件最小化建立资源适应:应用,挑战和机遇
作者:
Arpit Christi
;
Alex Groce
;
Austin Wellman
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
program testing;
software quality;
90.
Concurrency Defect Localization in Embedded Systems using Static Code Analysis: An Evaluation
机译:
使用静态代码分析嵌入式系统中的并发缺陷定位:评估
作者:
Bjarne Johansson
;
Alessandro V. Papadopoulos
;
Thomas Nolte
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
embedded systems;
program diagnostics;
program testing;
91.
Introducing Trust in Service-Oriented Distributed Systems through Blockchain
机译:
通过BlockChain引入面向服务的分布式系统的信任
作者:
Marco Autili
;
Francesco Gallo
;
Paola Inverardi
;
Claudio Pompilio
;
Massimo Tivoli
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
business data processing;
groupware;
information systems;
organisational aspects;
software architecture;
Web services;
92.
Software Reliability Modeled on Contagion
机译:
Contagion上建模的软件可靠性
作者:
Nestor Ruben Barraza
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software reliability;
Data models;
Stochastic processes;
Analytical models;
Computational modeling;
Testing;
93.
Dependability Challenges in the Model-Driven Engineering of Automotive Systems
机译:
汽车系统模型驱动工程中的可靠性挑战
作者:
Rakshith Amarnath
;
Peter Munk
;
Eike Thaden
;
Arne Nordmann
;
Simon Burton
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Safety;
Industries;
Automotive engineering;
Software;
Hardware;
Analytical models;
94.
Case Study: Project Management Using Cross Project Software Reliability Growth Model Considering System Scale
机译:
案例研究:考虑系统规模的跨项目软件可靠性增长模型的项目管理
作者:
Kiyoshi Honda
;
Nobuhiro Nakamura
;
Hironori Washizaki
;
Yoshiaki Fukazawa
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2016年
关键词:
Software reliability;
Monitoring;
Software;
Data models;
Industries;
Conferences;
Project management;
95.
RSDA 2019 Workshop Keynote
机译:
RSDA 2019研讨会主题演讲
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
data mining;
96.
WoSoCer 2019 Workshop Keynote
机译:
Wosocer 2019工作坊主题演讲
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
certification;
computational complexity;
organisational aspects;
research and development management;
traffic engineering computing;
transportation;
97.
Triforce QNX Syscall Fuzzer
机译:
Triforce QNX Syscall Fuzzer
作者:
Pallavi Pandey
;
Anupam Sarkar
;
Ansuman Banerjee
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
fuzzy set theory;
operating system kernels;
program diagnostics;
security of data;
98.
Search-Based Testing using EFSMs
机译:
使用EFSMS搜索基于测试的测试
作者:
Ana Turlea
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
finite state machines;
genetic algorithms;
program testing;
99.
GAUSS 2019 Workshop Keynotes
机译:
Gauss 2019研讨会keynotes
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
cloud computing;
program testing;
security of data;
service-oriented architecture;
software reliability;
100.
Lost in Disclosure: On the Inference of Password Composition Policies
机译:
泄露披露:关于密码构成政策的推理
作者:
Saul Johnson
;
Jo?o Ferreira
;
Alexandra Mendes
;
Julien Cordry
会议名称:
《International Symposium on Software Reliability Engineering Workshops》
|
2019年
关键词:
authorisation;
human factors;
message authentication;
意见反馈
回到顶部
回到首页