首页>外文会议>IEEE International Symposium on Software Reliability Engineering Workshops

IEEE International Symposium on Software Reliability Engineering Workshops

召开年：2017
召开地：Toulouse(FR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.GUI-Profiling for Performance and Coverage Analysis

机译：用于性能和覆盖率分析的GUI分析
- 作者：Nico Beierle;Peter M. Kruse;Tanja E. J. Vos
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Graphical user interfaces;
- Monitoring;
- Java;
- Testing;
- Software;
- Databases;
- Performance analysis;
2.Qualitative Deviation Models for Spreadsheet Debugging

机译：电子表格调试的定性偏差模型
- 作者：Birgit Hofer;Iulia Nica;Franz Wotawa
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Debugging;
- Computational modeling;
- Reactive power;
- Tools;
- Programming;
- Biological system modeling;
- Computer bugs;
3.Observation Based Creation of Minimal Test Suites for Autonomous Vehicles

机译：基于观察的自动驾驶汽车最小测试套件的创建
- 作者：Christian Wolschke;Thomas Kuhn;Dieter Rombach;Peter Liggesmeyer
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Automobiles;
- Autonomous vehicles;
- Sensors;
- Roads;
- Acceleration;
4.SIRIUS: Systematic Investigation for Reliability Improvement Upon Software

机译：SIRIUS：系统研究，旨在提高软件的可靠性
- 作者：Samjoon Park;Taehyoun Kim;Taeho Lee;Sungkyu Noh
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Tools;
- Measurement;
- Weapons;
- System software;
5.Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones

机译：将安全意识路线优化与运行时安全监控相结合，以控制无人机群
- 作者：Amin Majd;Elena Troubitsyna
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Safety;
- Drones;
- Routing;
- Planning;
- Monitoring;
- Collision avoidance;
- Algorithm design and analysis;
6.Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging

机译：在电路和电子表格调试的基于频谱的故障定位中消除巧合的正确性
- 作者：Birgit Hofer
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Circuit faults;
- Logic gates;
- Debugging;
- Fault diagnosis;
- Benchmark testing;
- Distance measurement;
7.IVamp;V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case

机译：IV＆V案例：基于安全案例的软件独立验证的实证研究
- 作者：Kazuki Kakimoto;Kensuke Sasaki;Hiroki Umeda;Yasushi Ueda
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Safety;
- Software;
- System analysis and design;
- Standards organizations;
- Organizations;
- Accidents;
8.IWSF Workshop Keynote

机译：IWSF研讨会主题演讲
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
9.Rich Network Anomaly Detection Using Multivariate Data

机译：使用多元数据的富网络异常检测
- 作者：Veena B. Mendiratta;Marina Thottan
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
10.Adding Correctness Checking to Test Automation Platform

机译：向测试自动化平台添加正确性检查
- 作者：Alberto Salmeron;Leticia Lavado;María-del-Mar Gallardo;Pedro Merino
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Manipulators;
- Testing;
- Instruments;
- Automation;
- Protocols;
- Software;
11.SRC Ratio Method: Benchmarking Software Reliability

机译：SRC比率方法：基准测试软件可靠性
- 作者：Pete Rotella;Sunita Chulani
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Software;
- Computer bugs;
- Hardware;
- Market research;
- Performance evaluation;
12.Revisiting the Practical Use of Automated Software Fault Localization Techniques

机译：再次探讨自动化软件故障定位技术的实际应用
- 作者：Aaron Ang;Alexandre Perez;Arie van Deursen;Rui Abreu
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Debugging;
- Circuit faults;
- Tools;
- Measurement;
- Computer bugs;
- Software systems;
13.The Automatic Classification of Fault Trigger Based Bug Report

机译：基于故障触发的错误报告的自动分类
- 作者：Xiaoting Du;Zheng Zheng;Guanping Xiao;Beibei Yin
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Computer bugs;
- Training;
- Semantics;
- Linux;
- Software;
- Context modeling;
- Neural networks;
14.How is IF Statement Fixed Through Code Review? A Case Study of Qt Project

机译：通过代码审查如何修正IF语句？ Qt项目的案例研究
- 作者：Yuki Ueda;Akinori Ihara;Toshiki Hirao;Takashi Ishio;Kenichi Matsumoto
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software;
- Itemsets;
- Data mining;
- Tools;
- Syntactics;
- Manuals;
- Programming;
15.Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards

机译：努力有效地检查是否符合汽车安全和安全标准
- 作者：Julieth Patricia Castellanos Ardila;Barbara Gallina
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Safety;
- Software;
- Computer security;
- ISO Standards;
- Computer architecture;
- Software architecture;
16.Model-Based Architecture Robustness Analysis for Software-Intensive Autonomous Systems

机译：面向软件密集型自治系统的基于模型的体系结构鲁棒性分析
- 作者：Sebastian Dieter Krach
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Robustness;
- Computer architecture;
- Software;
- Software architecture;
- Reliability engineering;
- Software reliability;
17.Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware

机译：在安全关键的容错中间件的开发中使用TLA +
- 作者：Stefan Resch;Michael Paulitsch
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Fault tolerant systems;
- Algorithm design and analysis;
- Model checking;
- Redundancy;
- Middleware;
18.Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems

机译：基于搜索的控制系统测试生成技术的工业评估
- 作者：Florian Hauer;Alexander Pretschner;Maximilian Schmitt;Markus Groetsch
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Optimization;
- Mathematical model;
- Control systems;
- Modeling;
- Acceleration;
- Genetic algorithms;
19.Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry

机译：规范覆盖范围的可视化：行业Web应用程序开发的案例研究
- 作者：Hiroyuki Nakagawa;Toshinobu Hasegawa;Shori Matsui;Tatsuhiro Tsuchiya
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Visualization;
- Testing;
- Software;
- Java;
- Industries;
- Natural languages;
- Companies;
20.Diagnosing Development Turbulence in Agile Processes

机译：在敏捷过程中诊断发展动荡
- 作者：Ram Chillarege
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Conferences;
21.Workload Dependent Fault Analysis

机译：工作量相关的故障分析
- 作者：Mehul Nalin Vora;Manoj Karunakaran Nambiar
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Uniform resource locators;
- Biological cells;
- Computer bugs;
- Computational modeling;
- Servers;
- Genetic algorithms;
- Data models;
22.WoSAR Workshop Invited Talk

机译：WoSAR研讨会特邀演讲
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
23.WoSoCer Workshop Keynote

机译：WoSoCer研讨会主题演讲
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
24.Monitoring and Mitigating Software Aging on IBM Cloud Controller System

机译：监控和缓解IBM Cloud Controller System上的软件老化
- 作者：Harish Sukhwani;Rivalino Matias;Kishor S. Trivedi;Andy Rindos
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Aging;
- Cloud computing;
- Monitoring;
- Market research;
- Measurement;
25.Experience Report: Testing Private Cloud Reliability Using a Public Cloud Validation SaaS

机译：体验报告：使用公共云验证SaaS测试私有云的可靠性
- 作者：Aniket Malatpure;Faraz Qadri;John Haskin
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Cloud computing;
- Software as a service;
- Software reliability;
- Testing;
- Life estimation;
- Production;
26.Experiences with Academic-Industrial Collaboration on Empirical Studies of Software Systems

机译：软件系统实证研究的学术-工业合作经验
- 作者：Elaine J. Weyuker;Thomas J. Ostrand
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Companies;
- Tools;
- Testing;
- Collaboration;
- Software systems;
27.Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing

机译：使用变质测试测试比例积分微分（PID）控制器
- 作者：Kun Qiu;Zheng Zheng;Tsong Yueh Chen
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Algorithm design and analysis;
- Mathematical model;
- PD control;
- Electronic mail;
- Feedback loop;
28.Toward an Embedded Multi-agent System Methodology and Positioning on Testing

机译：面向嵌入式多主体系统的方法论和测试定位
- 作者：Camille Barnier;Oum-El-Kheir Aktouf;Annabelle Mercier;Jean-Paul Jamont
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Embedded systems;
- Organizations;
- Multi-agent systems;
- Hardware;
- Software testing;
29.Empirical Study on Recognition of Project Situations by Monitoring Application Results of Software Reliability Growth Model

机译：通过监视软件可靠性增长模型的应用结果来识别项目状况的实证研究
- 作者：Kiyoshi Honda;Hironori Washizaki;Yoshiaki Fukazawa;Masahiro Taga;Akira Matsuzaki;Takayoshi Suzuki
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Feature extraction;
- Computer bugs;
- Monitoring;
- Software reliability;
- Software;
- Mathematical model;
30.Gherkin Syntax Extension for Parameterization of Network Switch Configurations in Test Specification

机译：测试规范中用于网络交换器配置参数化的Gherkin语法扩展
- 作者：Tianyao Li;Shigeru Tsubota;Koji Hirono
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Syntactics;
- Switches;
- Automation;
- Specification languages;
- Testing;
- Generators;
31.FIARS Workshop Keynote

机译：FIARS研讨会主题演讲
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
32.A Static Analyzer for Industrial Robotic Applications

机译：工业机器人应用静态分析仪
- 作者：Avijit Mandal;Raoul Jetley;Meenakshi D’Souza;Sreeja Nair
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Tools;
- Service robots;
- Real-time systems;
- Safety;
- Organizations;
33.Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks

机译：借助Analytics（分析）增强的自动代码验证，以确保软件定义网络的可靠性
- 作者：Lalita J. Jagadeesan;Veena Mendiratta
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software;
- Real-time systems;
- Security;
- Network topology;
- Model checking;
- Reliability;
34.Identifying Failed Test Cases Through Metamorphic Testing

机译：通过变态测试识别失败的测试用例
- 作者：Zhan-Wei Hui;Song Huang;Tsong Yueh Chen;Man F. Lau;Sebastian Ng
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software testing;
- Debugging;
- Software;
- Mathematical model;
- Java;
- Tools;
35.An Overview of Numalis Software Suite for Reliable Numerical Computation

机译：用于可靠数值计算的Numalis软件套件概述
- 作者：Arnault Ioualalen;Matthieu Martel;Nicolas Normand
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Tools;
- Software;
- Software reliability;
- Digital arithmetic;
- Standards;
36.An IDE for the Design, Verification and Implementation of Security Protocols

机译：设计，验证和实现安全协议的IDE
- 作者：Rémi Garcia;Paolo Modesti
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Protocols;
- Tools;
- Java;
- Generators;
- Encryption;
37.Applying software reliability engineering process to software development in Korea defense industry

机译：将软件可靠性工程流程应用于韩国国防工业的软件开发
- 作者：Taehyoun Kim;Samjoon Park;Taeho Lee
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Software;
- Manuals;
- Measurement;
- Defense industry;
- Weapons;
38.Benchmarking the Security of Virtualization Infrastructures: Motivation and Approach

机译：基准化虚拟化基础架构的安全性：动机和方法
- 作者：Charles Ferreira Gonçalves
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Security;
- Benchmark testing;
- Cloud computing;
- Measurement;
- Virtualization;
- Tools;
- Computational modeling;
39.The Future of Automated Debugging #x2014; Focus on the Niches First

机译：自动化调试的未来-首先关注细分市场
- 作者：Franz Wotawa
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Debugging;
- Tools;
- Software;
- Computer languages;
- Computational modeling;
- Object oriented modeling;
- Programming;
40.Interactive Runtime Verification #x2014; A Ph.D to Improve Bug Detection and Understanding

机译：交互式运行时验证—博士，旨在提高对错误的检测和理解
- 作者：Raphaël Jakse
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Computer bugs;
- Runtime;
- Debugging;
- Instruments;
- Monitoring;
- Tools;
- Context;
41.Finite State Machine Testing Complete Round-Trip Versus Transition Trees: On the Road of Finding the Most Effective Criterion

机译：有限状态机测试完整的往返与过渡树：寻找最有效标准的道路
- 作者：Hoda Khalil
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Market research;
- Automata;
- Tools;
- Fault detection;
- Software;
- Video recording;
42.Towards Multi-layered Reliability Analysis in Smart Grids

机译：走向智能电网的多层可靠性分析
- 作者：Stanislav Chren
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Smart grids;
- Software reliability;
- Analytical models;
- Computational modeling;
- Power system reliability;
- Hardware;
43.Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company

机译：迈向具有挑战性的验证，验证和认证的嵌入式系统敏捷开发：在医疗保健公司中的应用
- 作者：Clément Duffau;Bartosz Grabiec;Mireille Blay-Fornarino
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Accreditation;
- Testing;
- Embedded systems;
- Hardware;
- Companies;
- Ecosystems;
44.Living Safety Arguments for Open Systems

机译：开放系统的生活安全论点
- 作者：Carmen Cârlan
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Safety;
- Runtime;
- Open systems;
- Drones;
- Monitoring;
- Standards;
- Maintenance engineering;
45.Assert Use and Defectiveness in Industrial Code

机译：断言工业法规中的使用和缺陷
- 作者：Steve Counsell;Tracy Hall;Thomas Shippey;David Bowes;Amjed Tahir;Stephen MacDonell
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Contracts;
- Programming;
- Java;
- Computer bugs;
- Tools;
46.Accelerated Simulated Fault Injection Testing

机译：加速模拟故障注入测试
- 作者：Emilia Cioroaica;Jasmin Jahić;Thomas Kuhn;Christian Peper;Denis Uecker;Christoph Dropmann;Peter Munk;Amarnath Rakshith;Eike Thaden
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Safety;
- Operating systems;
- Hardware;
- Computational modeling;
- Registers;
47.Appwrapping Providing Fine-Grained Security Policy Enforcement Per Method Unit in Android

机译：打包为Android中的每个方法单元提供细粒度的安全策略实施
- 作者：Sung-Hoon Lee;Seung-Hyun Kim;SooHyung Kim;Seung-Hun Jin
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Privacy;
- Androids;
- Humanoid robots;
- Libraries;
- Usability;
- Information security;
48.First Insights into Testing Autonomous Robot in Virtual Worlds

机译：在虚拟世界中测试自主机器人的初步见解
- 作者：Clément Robert
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Robots;
- Testing;
- Computer bugs;
- Unified modeling language;
- Software;
- Navigation;
- Autonomous systems;
49.Safety Verification of Modern Railway Signalling with the SafeCap Platform

机译：使用SafeCap平台对现代铁路信号进行安全验证
- 作者：Paulius Stankaitis;Alexei Iliasov
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Rail transportation;
- Safety;
- Mathematical model;
- Computational modeling;
- Context modeling;
- Biological system modeling;
- Tools;
50.Multi-level Isolation for Android Applications

机译：Android应用程序的多级隔离
- 作者：Guillaume Averlant
- 会议名称：《》 | 2017年
- Androids;
- Humanoid robots;
- Ecosystems;
- Virtual machine monitors;
- Security;
- Linux;
- Kernel;
51.A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain

机译：重构嵌入式软件的可配置验证环境：在垂直传输域中的应用
- 作者：Goiuria Sagardui;Leire Etxeberria;Joseba A. Agirre;Aitor Arrieta;Carlos Fernando Nicolás;Jose María Martín
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Elevators;
- Embedded software;
- Software packages;
- Embedded systems;
- Mathematical model;
52.A Rejuvenation Strategy in Android

机译：Android中的复兴策略
- 作者：Caisheng Weng;Dongdong Zhao;Liping Lu;Jianwen Xiang;Chunhui Yang;Dong Li
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Aging;
- Software;
- Smart phones;
- Androids;
- Humanoid robots;
- Analytical models;
- Market research;
53.Challenges in Certification of Autonomous Driving Systems

机译：自动驾驶系统认证面临的挑战
- 作者：Fabio Falcini;Giuseppe Lami
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Automotive engineering;
- Standards;
- Machine learning;
- Automobiles;
- Software;
- Safety;
54.Detection of Memory Leaks in C/C++ Code via Machine Learning

机译：通过机器学习检测C / C ++代码中的内存泄漏
- 作者：Artur Andrzejak;Felix Eichler;Mohammad Ghanavati
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Resource management;
- Measurement;
- Java;
- Leak detection;
- Software;
- Runtime;
- Data collection;
55.Trigger and Impact Profiles Enable Outcome Focused Defect Discovery to Manage Software Quality

机译：触发和影响配置文件可实现针对结果的缺陷发现以管理软件质量
- 作者：Ram Chillarege
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Conferences;
56.Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases

机译：开创基于ISO 26262的基于OSLC的安全案例的创建
- 作者：Barbara Gallina;Mattias Nyberg
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Safety;
- Software;
- ISO Standards;
- Resource description framework;
- Fuels;
- Tools;
57.A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development

机译：用于AUTOSAR汽车软件组件开发的静态分析工具的比较研究
- 作者：Alfredo Imparato;Raffaele Rodolfo Maietta;Stefano Scala;Vladimiro Vacca
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Tools;
- Software;
- Measurement;
- Automotive engineering;
- Guidelines;
- Databases;
58.Back-in-Time Debugging in Heterogeneous Software Stacks

机译：异构软件堆栈中的实时调试
- 作者：Arian Treffer;Matthias Uflacker
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Conferences;
59.Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping

机译：基于虚拟样机的自动驾驶汽车软件控制参数优化
- 作者：Siyuan Dai;Joseph Hite;Takato Masuda;Yusuke Kashiba;Nikos Arechiga;Shinichi Shiraishi;Scott Eisele;Jason Scott;Ted Bapty
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Solid modeling;
- Vehicle dynamics;
- Object oriented modeling;
- Acceleration;
- Measurement;
- Engines;
- Mathematical model;
60.Getting Defect Prediction Into Industrial Practice: the ELFF Tool

机译：将缺陷预测应用于工业实践：ELFF工具
- 作者：David Bowes;Steve Counsell;Tracy Hall;Jean Petric;Thomas Shippey
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Tools;
- Measurement;
- Software;
- Predictive models;
- Companies;
- Object oriented modeling;
- Telecommunications;
61.Why Securing Your Code Architecture: Detection of Architectural Vulnerabilities in Industrial Products

机译：为什么要保护您的代码体系结构：检测工业产品中的体系结构漏洞
- 作者：Isabelle Michard
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Computer architecture;
- Measurement;
- Software;
- Tools;
- Encoding;
- Computer security;
62.A Layered Argument Strategy for Software Security Case Development

机译：软件安全案例开发的分层论证策略
- 作者：Biao Xu;Minyan Lu;Dajian Zhang
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software reliability;
- Conferences;
- Iron;
63.Efficient Software Rejuvenation of In-memory Key-Value Storages

机译：内存键值存储的高效软件更新
- 作者：Yuto Jumonji;Hiroshi Yamada
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Slabs;
- Software;
- Aging;
- Memory management;
- Computer bugs;
- Metadata;
- Degradation;
64.MASSE: Modular Automated Syntactic Signature Extraction

机译：MASSE：模块化自动语法签名提取
- 作者：Fabrizio Biondi;Francois Dechelle;Axel Legay
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Malware;
- Servers;
- Syntactics;
- Computer architecture;
- Databases;
- Electronic mail;
- Tools;
65.Reliable Inspection of an Autonomous System At System Runtime with Built-in Data Probes

机译：使用内置数据探针在系统运行时可靠地检查自治系统
- 作者：Joachim Fröhlich;Christoph Stückjürgen
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Probes;
- Inspection;
- Safety;
- Mobile robots;
- Autonomous systems;
- Monitoring;
66.Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks

机译：为安全关键的贝叶斯网络建立验证和确认目标
- 作者：Mark Douthwaite;Tim Kelly
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Safety;
- Computational modeling;
- Adaptation models;
- Software;
- Bayes methods;
- Data models;
67.Estimation of the Total Number of Software Failures from Test Data and Code Coverage: A Bayesian Approach

机译：从测试数据和代码覆盖率估计软件故障总数：贝叶斯方法
- 作者：Harald A. Stieber;Linghuan Hu;W. Eric Wong
- 会议名称：《》 | 2017年
- Predictive models;
- Estimation;
- Bayes methods;
- Data models;
- Mathematical model;
- Computational modeling;
- Software reliability;
68.AFFORD Workshop Keynotes

机译：AFFORD研讨会主题演讲
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
69.Non-determinism and Failure Modes in Machine Learning

机译：机器学习中的非确定性和失败模式
- 作者：José M. Faria
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Software;
- Tools;
- Software algorithms;
- Prediction algorithms;
- Standards;
- Algorithm design and analysis;
70.CrashOS: Hypervisor Testing Tool

机译：CrashOS：Hypervisor测试工具
- 作者：Anais Gantet
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Virtual machine monitors;
- Computer crashes;
- Software;
- Testing;
- Tools;
- Virtualization;
- Security;
71.Empirical Study of Abnormalities in Local Variables of Change-Prone Java Methods

机译：Change-Prone Java方法局部变量异常的实证研究
- 作者：Hirohisa Aman;Sousuke Amasaki;Tomoyuki Yokogawa;Minoru Kawahara
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Java;
- Market research;
- Encoding;
- Standards;
- Euclidean distance;
- Information technology;
- Indexes;
72.Principles for Systematic Development of an Assurance Case Template from ISO 26262

机译：根据ISO 26262系统开发保证案例模板的原则
- 作者：Thomas Chowdhury;Chung-Wei Lin;BaekGyu Kim;Mark Lawford;Shinichi Shiraishi;Alan Wassyng
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- ISO Standards;
- Hazards;
- Software;
- Buildings;
- Controllability;
73.BRACE: Cloud-Based Software Reliability Assurance

机译：BRACE：基于云的软件可靠性保证
- 作者：Kazuhira Okumoto;Abhaya Asthana;Rashid Mijumbi
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Tools;
- Software reliability;
- Measurement;
- Cloud computing;
- Market research;
74.A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System

机译：验证安全关键系统的HIL仿真的实用方法
- 作者：Athanasios Stratis;Adnan Čaušević
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2017年
- Testing;
- Mathematical model;
- Software;
- Transportation;
- TV;
- Safety;