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

IEEE International Symposium on Software Reliability Engineering Workshops

召开年：2015
召开地：Gaithersburg, MD(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A fault injection description language for compiler-based SFI tools

机译：基于编译器的SFI工具的故障注入描述语言
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
2.Analyzing the reduction of test suite redundancy

机译：分析测试套件冗余的减少
- 作者：Ingo Pill;Seema Jehan;Franz Wotawa;Mihai Nica
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
3.C-SEC (Cyber SCADA evaluation capability): Securing critical infrastructures

机译：C-SEC（网络SCADA评估功能）：保护关键基础架构
- 作者：Jose Romero-Mariona;Megan Kline;John San Miguel
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Critical Infrastructures;
- ICS;
- SCADA;
- Security;
- Security Metrics;
4.Conditional slicing: Reducing dynamic slices

机译：条件切片：减少动态切片
- 作者：Birgit Hofer;Georg Hinteregger;Franz Wotawa
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
5.Countdown graph: Estimating completion of testing

机译：倒计时图：估计测试完成
- 作者：Pete Rotella;Tom Land;Marjan Moshref;Sunita Chulani
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
6.Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)

机译：非正式开发人员的正式方法：由法国国防部（DGA）驱动的案例研究
- 作者：Quentin Ochem;Eric Perlade
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- DGA;
- DO-178C;
- SPARK 2014;
- ada 2012;
- contract;
- formal methods;
- qualimetry;
7.Getting more in less: The power of single/error annotations in category partition

机译：事半功倍：类别分区中单个/错误注释的强大功能
- 作者：Sunint Kaur Khalsa;Yvan Labiche
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
8.Operational softwarized networks reliability management

机译：运营软化网络可靠性管理
- 作者：Sejun Song;Henry Zhu
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
9.S-CBAC: A secure access control model supporting group access for Internet of Things

机译：S-CBAC：一种安全的访问控制模型，支持物联网的组访问
- 作者：Borting Chen;Yu-Lun Huang;Mesut Gne
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
10.UML consistency rules in technical books

机译：技术书籍中的UML一致性规则
- 作者：Damiano Torre;Yvan Labiche;Marcela Genero;Maged Elaasar
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Unified Modeling Language Consistency rules;
11.Applying spectrum-based fault localization to generate debugging suggestions for student programmers

机译：应用基于频谱的故障定位为学生程序员生成调试建议
- 作者：Bob Edmison;Stephen H. Edwards
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- SFL;
- Web-CAT;
- automated grading;
- automatic fault localization;
- debugging;
- spectrum-based fault localization;
- statistical fault localization;
- testing;
12.RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm

机译：RC-Tree：一种避免Reiter最小打击集算法中所有冗余的变体
- 作者：Ingo Pill;Thomas Quaritsch
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
13.Software aging in mobile devices: Partial computation offloading as a solution

机译：移动设备中的软件老化：部分计算分担作为解决方案
- 作者：Huaming Wu;Katinka Wolter
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- application partitioning;
- mobile device;
- offloading;
- software aging;
14.Effective management of work in a geographically dispersed team using Tasks in Agile methodology

机译：使用“敏捷任务”方法有效地管理地域分散的团队中的工作
- 作者：Balaji Santhana Krishnan;Hema Kovvuri;Uma M. Balasubramani
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
15.A scalable and accurate hybrid vulnerability analysis framework

机译：可扩展且准确的混合漏洞分析框架
- 作者：Julian Thome
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Constraint Solving;
- Machine Learning;
- Program Analysis;
- Software Security Assurance;
- Symbolic Execution;
- Vulnerability Analysis;
16.Automated generation of failure modes and effects analysis for a medical device

机译：自动生成医疗设备的故障模式和效果分析
- 作者：Myron Hecht;Elisabeth Nguyen;Aaron Chuidian;Julia Pinchak
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Failure Modes and Effects Analysis;
- Medical Devices;
- SysML;
17.An optimal stopping problem for software rejuvenation in a job processing system

机译：作业处理系统中软件更新的最佳停止问题
- 作者：Fumio Machida;Naoto Miyoshi
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- job processing system;
- optimal stopping problem;
- software rejuvenation;
18.Automated compositional safety analysis using component fault trees

机译：使用组件故障树自动进行成分安全性分析
- 作者：Felix Mohrle;Marc Zeller;Kai Hofig;Martin Rothfelder;Peter Liggesmeyer
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
19.Disqover: Debugging via code sequence covers

机译：Disqover：通过代码序列覆盖进行调试
- 作者：Ethar Elsaka;Atif Memon
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
20.Efficient reachability graph development for qualitive analysis of state/event fault trees

机译：对状态/事件故障树进行定性分析的有效可达性图开发
- 作者：Michael Roth;Agus Hartoyo;Peter Liggesmeyer
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- fault tree;
- reliability analysis;
- software certification;
- state event fault tree;
21.Parse tree structure in LTL requirements diagnosis

机译：LTL需求诊断中的解析树结构
- 作者：Ingo Pill;Thomas Quaritsch;Franz Wotawa
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
22.Practical null pointer dereference detection via value-dependence analysis

机译：通过值依赖分析进行实用的空指针解除引用检测
- 作者：Sen Ma;MingYang Jiao;ShiKun Zhang;Wen Zhao;Dong Wei Wang
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Null pointers;
- Static analysis;
- Value-dependence analysis;
23.Preventing recurrence of industrial control system accident using assurance case

机译：利用保证案例防止工控系统事故再次发生
- 作者：Mirko Napolano;Fumio Machida;Roberto Pietrantuono;Domenico Cotroneo
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
24.Qualitative evaluation of fault hypotheses with non-intrusive fault injection

机译：使用非侵入式故障注入对故障假设进行定性评估
- 作者：Jelena Frtunikj;Joachim Frohlich;Tim Rohlfs;Alois Knoll
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- fault hypothesis;
- fault injection test;
- safety;
- safety case;
- safety properties;
25.SysML-based and Prolog-supported FMEA

机译：基于SysML和Prolog支持的FMEA
- 作者：Fabio Scippacercola;Roberto Pietrantuono;Stefano Russo;Nuno Pedro Silva
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- FMEA;
- Prolog;
- Reliability assessment;
- SysML;
26.An analysis and extension of Category partition testing for constrained systems

机译：约束系统类别划分测试的分析和扩展
- 作者：Sunint Kaur Khalsa;Yvan Labiche
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
27.Analyzing failure mechanism for complex software-intensive systems

机译：分析复杂的软件密集型系统的故障机制
- 作者：Li Luyi;Lu Minyan
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
28.On validating UML consistency rules

机译：关于验证UML一致性规则
- 作者：Damiano Torre
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- UML consistency rules;
- UML synthesis techniques;
- Unified Modeling Language (UML);
- validation;
29.Resource/schedule/content model: Improving testing effectiveness

机译：资源/时间表/内容模型：提高测试效率
- 作者：Pete Rotella;Sunita Chulani;John Intintolo
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
30.The software aging and rejuvenation repository: Http://openscience.us/repo/software-aging/

机译：软件老化和复兴存储库：http://openscience.us/repo/software-aging/
- 作者：Domenico Cotroneo;Antonio Ken Iannillo;Roberto Natella;Roberto Pietrantuono;Stefano Russo
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Data Repository;
- Open Access;
- Research Artifacts;
- Software Aging and Rejuvenation;
31.Knowledge transition: Discovering workflow models from functional tests

机译：知识转移：从功能测试中发现工作流程模型
- 作者：Vipul Shah;Chetan Khadke;Sunjit Rana
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
32.Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability

机译：IaaS云升级：高可用性背景下的问题和潜在解决方案
- 作者：Mina Nabi;Ferhat Khendek;Maria Toeroe
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Cloud;
- Dependencies;
- High Availability;
- Upgrade;
- Upgrade Campaign;
33.Detection of unexpected situations by applying software reliability growth models to test phases

机译：通过将软件可靠性增长模型应用于测试阶段来检测意外情况
- 作者：Kiyoshi Honda;Hironori Washizaki;Yoshiaki Fukazawa;Kazuki Munakata;Sumie Morita;Tadahiro Uehara;Rieko Yamamoto
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
34.Integrating formal methods with testing for reliability estimation of component based systems

机译：将形式化方法与测试相集成，以评估基于组件的系统的可靠性
- 作者：Debasmita Lohar;Soumyajit Dey
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
35.Software-defined networking (SDN) control message classification, verification, and optimization system

机译：软件定义网络（SDN）控制消息分类，验证和优化系统
- 作者：Hyungbae Park;Sejun Song;Baek-Young Choi;Henry Zhu
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
36.Optimizing resiliency of distributed video surveillance system for safer city

机译：优化分布式视频监控系统的弹性，打造更安全的城市
- 作者：Fumio Machida;Masaya Fujiwaka;Seiichi Koizumi;Daichi Kimura
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- distributed system;
- resiliency;
- socio-ICT model;
- system dynamics;
- video surveillance;
37.Static analysis of physical properties in Simulink models

机译：Simulink模型中物理属性的静态分析
- 作者：Ashlie B. Hocking;M. Anthony Aiello;John C. Knight
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
38.Test suites for benchmarks of static analysis tools

机译：静态分析工具基准测试套件
- 作者：Shinichi Shiraishi;Veena Mohan;Hemalatha Marimuthu
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- automotive software;
- software assurance;
- static analysis;
39.Detecting sustainable programming languages through forking on open source projects for survivability

机译：通过分叉开源项目以提高生存能力来检测可持续的编程语言
- 作者：BeeBee Chua
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- Open source projects;
- fork;
- programming languages;
- survivability;
40.Process improvement in governmental agencies: Toward CMMI certification

机译：政府机构的流程改进：迈向CMMI认证
- 作者：Ziyad Alshaikh;Mansour Alsaleh;Abdulrahman Alarifi;Mohammad Zarour
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年
- CMMI;
- CMMI Appraisal;
- SME;
- Software process;
41.Survivability modeling to assess deployment alternatives accounting for rejuvenation

机译：生存能力建模，以评估考虑复兴的部署替代方案
- 作者：Gabriela Jacques-Silva;Alberto Avritzer;Daniel S. Menasch;Anne Koziolek;Lucia Happe;Sindhu Suresh
- 会议名称：《IEEE International Symposium on Software Reliability Engineering Workshops》 | 2015年