首页>外文会议>其他>23rd IEEE International Symposium on Software Reliability Engineering Workshops.

23rd IEEE International Symposium on Software Reliability Engineering Workshops.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Software Quality Evaluation Method Using the Change of Source Code Metrics

机译：利用源代码度量标准变化的软件质量评估方法
- 作者：Nakamura Mitsuhiro;Hamagami Tomoki
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- complex network;
- software maintainability;
- software metrics;
2.Applying Test Data Generation Using SMT Solver to COBOL

机译：将使用SMT求解器的测试数据生成应用于COBOL
- 作者：Sasaki Yusuke;Maeda Yoshiharu;Kobayashi Kenichi;Matsuo Akihiko
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Automated Test Data Generation;
- COBOL;
- SMT Solver;
3.Assessing the Performance of Networked Computer Based Systems

机译：评估基于网络的计算机系统的性能
- 作者：Agarwal Shelly
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
4.Measurements-Based Analysis of Workload-Error Relationship in a Production SaaS Cloud

机译：生产SaaS云中基于度量的工作负载-错误关系分析
- 作者：Ganesan Rajeshwari;Sarkar Santonu;Goel Geetika;Martino Catello Di
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
5.Managing Automated End to End Testing in Bitwise Heterogenous Environments

机译：在按位异构环境中管理自动化的端到端测试
- 作者：Banji Rossel Paul;Pattabhirama Pandit;Gharpure Mukul;Ramachandra Manjunath
- 会议名称：《》 | 2012年
- 32bit to 64bit migration;
- Automatic System Testing;
- Bitwise Heterogeneous UIs;
- Custom Controls;
- UI Control Hooking;
- Windows;
6.Detecting Vulnerabilities in Service Oriented Architectures

机译：检测面向服务的体系结构中的漏洞
- 作者：Antunes Nuno;Vieira Marco
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- SOA;
- benchmarking;
- security;
- vulnerabilities;
- vulnerability detection;
- web services;
7.Accelerate the Software Software Reliability Testing Execution Process with Fuzzy Discrimination

机译：通过模糊判别加速软件可靠性测试的执行过程
- 作者：Zheng Feng;Ai Jun;Shang Jingwei;Wang Jinhui
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Accelerated testing;
- Data characters;
- Fuzzy discrimination;
- Software reliability;
8.Using Profiling Metrics to Categorise Peer Review Types in the Android Project

机译：使用分析指标对Android项目中的同行评审类型进行分类
- 作者：Kula Raula Gaikovina;E. Carmago Cruz Ana;Yoshida Norihiro;Hamasaki Kazuki;Fujiwara Kenji;Yang Xin;Iida Hajimu
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Data Mining;
- Knowledge Management;
- OSS Peer Review Process;
- Software Quality Assurance;
9.Program Debugging with Effective Software Fault Localization (Invited Talk)

机译：通过有效的软件故障本地化进行程序调试（特邀演讲）
- 作者：Wong W. Eric
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
10.The Effect of Testability on Fault Proneness: A Case Study of the Apache HTTP Server

机译：可测试性对故障倾向性的影响：以Apache HTTP Server为例
- 作者：Hays Mark;Hayes Jane
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- code coverage;
- fault proneness;
- static analysis;
- testing;
11.Debugging Spreadsheets: A CSP-based Approach

机译：调试电子表格：基于CSP的方法
- 作者：Abreu Rui;Riboira Andre;Wotawa Franz
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Constraints;
- Debugging;
- Spreadsheets;
12.A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis

机译：基于别名分析的无效算术运算静态检测模型
- 作者：Zhou Hongbo;Wang Qian;Jin Dahai;Gong Yunzhan
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- alias analysis;
- interval computation;
- invalid arithmetic operation;
- procedure summary;
- static detection;
13.Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models

机译：通过将安全分析信息集成到系统行为模型中，基于风险的自动化测试
- 作者：Nazier Ramy;Bauer Thomas
- 会议名称：《》 | 2012年
- fault trees;
- model checking;
- risk-based testing;
- statecharts;
- test cases generation;
14.Integrating MDT in an Industrial Process in the Air Traffic Control Domain

机译：将MDT集成到空中交通管制领域的工业流程中
- 作者：Carrozza Gabriella;Faella Mauro;Fucci Francesco;Pietrantuono Roberto;Russo Stefano
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- MDA;
- MDT;
- Testing automation;
15.Monitoring of Aging Software Systems Affected by Integer Overflows

机译：监视受整数溢出影响的老化软件系统
- 作者：Cotroneo Domenico;Natella Roberto
- 会议名称：《》 | 2012年
- Aging-related bugs;
- Integer overflows;
- Numerical errors;
- Software aging;
- Software rejuvenation;
16.Multiformalism to Support Software Rejuvenation Modeling

机译：支持软件复兴建模的多形式主义
- 作者：Barbierato Enrico;Bobbio Andrea;Gribaudo Marco;Iacono Mauro
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Fluid rejuvenation formalism;
- Rejuvenation;
- SIMTHESys;
- Software aging;
17.Modeling Software Rejuvenation on a Redundant System Using Monte Carlo Simulation

机译：使用蒙特卡洛模拟对冗余系统上的软件复兴进行建模
- 作者：Malefaki Sonia;Koutras Vasilis P.;Platis Agapios N.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Monte Carlo simulation;
- availability;
- downtime cost;
- redundant system;
- rejuvenation;
- reliability;
18.Assessing AUTOSAR Systems Using Fault Injection

机译：使用故障注入评估AUTOSAR系统
- 作者：Salkham Asad;Pecchia Antonio;Silva Nuno
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Fault Injection;
19.Optimization of Opportunity-Based Software Rejuvenation Policy

机译：基于机会的软件复兴策略的优化
- 作者：Okamura Hiroyuki;Dohi Tadashi
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- opportunity-based policy;
- optimization;
- software aging;
- software rejuvenation;
- time-triggered policy;
20.Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL

机译：D-Case在名为KISSEL的分布式电子学习系统的数据上传流程图场景中的应用
- 作者：Patu Vaise;Matsuno Yutaka;Yamamoto Shuichiro
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- D-Case;
- E-learning;
- Structured Assurance and Network Server Systems.;
- System Dependability;
21.A Study of Converting Risk to Assurance Case

机译：风险转化为保证案例的研究
- 作者：Yoan Motoki;Sugaya Midori;Kuramitsu Kimio
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Assurance Case;
- Dependablity;
- Risk Management;
22.Reconfigurable Scripting Language with Programming Risk

机译：具有编程风险的可重新配置脚本语言
- 作者：Wakamori Takuma;Ide Masahiro;Sugaya Midori;Kuramitsu Kimio
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- risk of programming;
- scripting language;
- syntactic extension;
23.Composable Safety-Critical Systems Based on Pre-certified Software Components

机译：基于预认证软件组件的可组合安全关键系统
- 作者：Soderberg Andreas;Vedder Benjamin
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Contract;
- Reusability;
- Safety-Critical;
- Software Component;
24.Agile Practices in Regulated Railway Software Development

机译：规范铁路软件开发中的敏捷实践
- 作者：Jonsson Henrik;Larsson Stig;Punnekkat Sasikumar
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- EN 50128;
- agile practices;
- railway;
- safety-critical systems;
- software development processes;
- software engineering;
25.Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates

机译：具有优先级与门的动态故障树的组合分析
- 作者：Xiang Jianwen;Machida Fumio;Tadano Kumiko;Yanoo Kazuo;Sun Wei;Maeno Yoshiharu
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
26.Smart Unit Testing Framework

机译：智能单元测试框架
- 作者：Mukkavilli Lakshmankumar
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- API Robustness;
- Developer Testing;
- Fault Injection;
- MBT;
- Model Based Testing;
- Test Generation;
- Unit Testing;
- Unit Testing Framework;
- Whitebox Testing;
- Whitebox Testing Framework;
27.Overview of 10 Years of ISVV Findings in Safety-Critical Systems

机译：ISVV在安全关键系统领域10年的发现概述
- 作者：Silva Nuno;Lopes Rui
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
28.A Pragmatic Approach on Combined Safety and Security Risk Analysis

机译：联合安全保障风险分析的务实方法
- 作者：Reichenbach Frank;Endresen Jan;Chowdhury Mohammad M. R.;Rossebo Judith
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Functional Safety;
- Industrial Cases;
- Risk Analysis;
- component: Security;
29.WoSAR 2012 Workshop Keynotes 2 abstracts

机译：WoSAR 2012研讨会主题演讲2摘要
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
30.Monitoring Memory-Related Software Aging: An Exploratory Study

机译：监视与内存相关的软件老化：一项探索性研究
- 作者：Matias Rivalino;Costa Bruno Evangelista;Macedo Autran
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Software aging;
- exploratory study;
- memory leaks;
- software rejuvenation;
31.Metric-Based Quality Evaluations for Iterative Software Development Approaches Like Agile

机译：敏捷等迭代软件开发方法的基于度量的质量评估
- 作者：Jinzenji Kumi;Hoshino Takashi;Williams Laurie;Takahashi Kenji
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Agile;
- Iterative software development;
- Quality;
- Reliability;
32.A Resilience Design Model for IMS-based Services

机译：基于IMS的服务的弹性设计模型
- 作者：Natouri Somia;Lac Chidung
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Challenge Countermeasures Tree (CCT), IMS-based services, RCS-e, attack tree, requirements, resilience;
33.Evidence-Based Security in Aerospace: From Safety to Security and Back Again

机译：航空航天中基于证据的安全性：从安全性到安全性再到回
- 作者：Paulitsch Michael;Reiger Rupert;Strigini Lorenzo;Bloomfield Robin
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- avionics;
- safety;
- security;
- software assurance;
34.Applying Software Reliability Growth Models to DOD Systems

机译：将软件可靠性增长模型应用于DOD系统
- 作者：Long E. Andrew;Gullo Louis;Nikora Allen P.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- NHPP models;
- growth modeling;
- reliability modeling;
- software reliability;
35.Software Reliability Classes: A Basis for Release and Product Quality Expectations

机译：软件可靠性等级：发布和产品质量期望的基础
- 作者：Chulani Sunita;Rotella Pete;Mullen Bob
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
36.Quality Playbook: Ensuring Release to Release Improvement

机译：优质手册：确保发布到发布的改进
- 作者：Rotella Pete;Chulani Sunita;Pradhan Satya
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
37.Wielding Statistical Fault Localization Statistically

机译：统计地进行统计故障定位
- 作者：Zhang Yunqian;Chen Lin;Jiang Bo;Zhang Zhenyu
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- software fault localization;
- statistical fault localization methods;
- tuning methods;
38.Baggy Bounds with Accurate Checking

机译：准确的放宽界限
- 作者：Ding Baozeng;He Yeping;Wu Yanjun;Miller Alex;Criswell John
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- bounds checking;
- buffer overflow;
- memory safety;
39.Design-Model-Based Test Data Generation for Database Applications

机译：用于数据库应用程序的基于设计模型的测试数据生成
- 作者：Tanno Haruto;Zhang Xiaojing;Hoshino Takashi
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- database application;
- design model;
- model based testing;
- test case generation;
- test data generation;
40.Automatic GUI Model Generation: State of the Art

机译：自动GUI模型生成：最新技术
- 作者：Kull Andres
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- GUI model;
- Model-based testing;
- automatic GUI model generation;
41.Integrating Model-Based and Constraint-Based Testing Using SpecExplorer

机译：使用SpecExplorer集成基于模型和基于约束的测试
- 作者：Vishal Vivek;Kovacioglu Mehmet;Kherazi Rachid;Mousavi Mohammad Reza
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Constraint-Based Testing;
- Decision-Table-Based Testing;
- Model-Based Testing;
- SpecExplorer;
42.A Review of Two Experiences from Applying Model Based Testing in Practice

机译：在实践中应用基于模型的测试的两种经验的回顾
- 作者：Marijan Dusica
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- UML model;
- automated testing;
- configurable systems;
- feature model;
- model-based testing;
43.An Advanced Methodology for Measuring and Characterizing Software Aging

机译：测量和表征软件老化的高级方法
- 作者：Zheng Pengfei;Xu Qingguo;Qi Yong
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Aging progress;
- Hodrick-Prescott filter;
- Measurement;
- Sen's Slope Estimator;
- Software Aging;
44.Cost Optimality in Testing and Rejuvenation

机译：测试和复兴中的成本最优
- 作者：Grottke Michael;Schleich Benjamin
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- appraisal costs;
- external/internal failure costs;
- quality costs;
- rejuvenation rate;
- test duration;
45.Toward Baselining Software Anomalies in NASA Missions

机译：在NASA任务中建立基线软件异常
- 作者：Layman Lucas;Zelkowitz Marvin;Basili Victor;Nikora Allen P.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- NASA;
- anomaly;
- baseline;
- software defect;
46.Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?

机译：安全与性能联合工程：关键应用设计面临新的MDE挑战？
- 作者：Henia Rafik;Machrouh Joseph;Rioux Laurent
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- MDE;
- co-engineering;
- performance;
- real-time applications;
- safety-critical applications;
- viewpoint;
47.Aging-Related Bugs in Cloud Computing Software

机译：云计算软件中与老化相关的错误
- 作者：Machida Fumio;Xiang Jianwen;Tadano Kumiko;Maeno Yoshiharu
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- -component;
- aging-related bugs;
- cloud computing;
- Key-value store;
- MapReduce;
- Open source software;
48.Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds

机译：私有云弹性存储机制中软件老化效应的表征
- 作者：Matos Rubens;Araujo Jean;Alves Vandi;Maciel Paulo
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Cloud computing;
- KVM hypervisor;
- performance evaluation;
- software aging;
49.Software Rejuvenation: Do IT amp; Telco Industries Use It?

机译：软件复兴：IT和电信行业会使用它吗？
- 作者：Alonso Javier;Bovenzi Antonio;Li Jinghui;Wang Yakun;Russo Stefano;Trivedi Kishor
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- IT;
- Software aging;
- Software rejuvenation;
- Telco;
50.Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems

机译：环境辅助生活系统安全分析技术的要求和评估
- 作者：Tiadjio Adrien Mouaffo;Jamboti Kavyashree
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- ambient assisted living;
- ambient intelligent systems;
- analysis;
51.Handling Language Variations in Open Source Bug Reporting Systems

机译：处理开源错误报告系统中的语言变化
- 作者：Banerjee Sean;Musgrove Jesse;Cukic Bojan
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Alternate Spellings;
- Duplicate Bug Reports;
- Software Maintenance;
- Software Reliability;
- String Algorithms;
- Typographical Errors;
52.Combination of Static and Dynamic Analyses for the Certification of Avionics Software

机译：静态和动态分析相结合的航空电子软件认证
- 作者：Ferlin Antoine;Wiels Virginie
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
53.Industrial Experiences of Building a Safety Case in Compliance with ISO 26262

机译：建立符合ISO 26262的安全案例的行业经验
- 作者：Dardar Raghad;Gallina Barbara;Johnsen Andreas;Lundqvist Kristina;Nyberg Mattias
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- GSN;
- ISO 26262;
- Safety-critical systems;
- safety case;
54.Bohrbugs, Mandelbugs, Exhaustive Testing and Unintended Automobile Acceleration

机译：hr虫，Man虫，详尽的测试和意外的汽车加速
- 作者：Shooman Martin L.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Borhbug;
- Exhaustive Testing;
- Mandelbug;
- System State and Storage;
- Unintended Automobile Acceleration;
55.Entropy Metrics for Agile Development Processes

机译：敏捷开发过程的熵度量
- 作者：Aktunc Ozgur
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Entropy;
- agile development;
- metrics;
- software measurement;
56.TEAMS: A Special-Purpose AOP Framework for Runtime Monitoring

机译：TEAMS：用于运行时监视的特殊AOP框架
- 作者：Nusayr Amjad;Cook Jonathan;Rahnavard Gholamali
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- aspect oriented programming;
- instrumentation;
- runtime monitoring;
57.Independent Assessment of Safety-Critical Systems: We Bring Data!

机译：对安全关键系统的独立评估：我们带来数据！
- 作者：Silva Nuno;Lopes Rui
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
58.A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model

机译：针对系统架构模型正式评估安全案例证据的方法
- 作者：Bjornander Stefan;Land Rikard;Graydon Patrick;Lundqvist Kristina;Conmy Philippa
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Safety Argumentation;
- GSN;
- AADL;
59.10 Years of ISVV: What's Next?

机译：ISVV十年：下一步是什么？
- 作者：Silva Nuno;Lopes Rui
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- ROI;
- certification;
- component;
- verification;
- independent;
- lessons learned;
- software;
- validation;
60.Ontology-Based Reuse of Failure Modes for FMEA: Methodology and Tool

机译：FMEA的基于本体的故障模式重用：方法论和工具
- 作者：Li Guoqi
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- FMEA;
- failure modes;
- ontology;
61.RTW 2012 Workshop Invited Industrial Keynotes

机译：RTW 2012研讨会邀请工业主题演讲
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
62.Assessing Disaster Recovery Alternatives: On-Site, Colocation or Cloud

机译：评估灾难恢复替代方案：现场，托管或云
- 作者：Alhazmi Omar H.;Malaiya Yashwant K.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Cloud;
- Disaster Recovery;
- RPO;
- RTO;
- Risk Analysis and Management;
63.Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty

机译：不确定条件下用户设备交互中设备延迟错误的形式化分析
- 作者：Ghosh Krishnendu
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- formal modeling;
- interactive systems;
- model checking;
- uncertainty;
64.Software at Scale for Building Resilient Wireless Sensor Networks

机译：用于构建弹性无线传感器网络的大规模软件
- 作者：Martino Catello Di
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Modeling;
- Resiliency;
- Wireless Sensor Networks;
65.Cost Effective Reliability Centric Validation Model for Automotive ECUs

机译：汽车ECU的经济高效可靠性中心验证模型
- 作者：Pandey Ajeet Kumar;Jessy Smith;Diwanji Vivek
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- electronic control unit;
- functional complexity;
- operational profile based testing (OPBT);
- reliability;
- validation;
66.Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System

机译：基于工业组件的可靠软件定义无线电系统设计的早期性能评估
- 作者：Henia R.;Rioux L.;Sordon N.;Vergnaud T.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- MARTE;
- component-based modeling;
- real-time software design;
- reliable software defined radio systems;
- scheduling analysis;
67.Bug Detection in Large-Scale Nuclear Power Software

机译：大型核电软件中的错误检测
- 作者：Liu Zheng;Mo Wentao;Ren Dangpei;Zhao Guang;Liu Mingye
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
68.Targeting Specific Customer Satisfactions Issues with ODC Analysis

机译：使用ODC分析针对特定的客户满意度问题
- 作者：Chillarege Ram
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
69.Customer Scenario Focused End-to-End Testing

机译：以客户场景为中心的端到端测试
- 作者：Liang Chen;Malatpure Aniket;Shafiei Mohammad;Vago Marcelo;Zheng Tsan
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- customer scenario modeling;
- end to end testing;
- scenario testing;
- software testing;
- system testing;
70.Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets

机译：基于Petri网的安全关键计算机系统的性能建模与预测
- 作者：Singh Lalit Kumar;Vinod Gopika;Tripathi A.K.
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Computer Based System;
- Reliability;
- Stochastic Petri nets;
71.Assessing Product Quality through PMR Analysis: A Perspective

机译：通过PMR分析评估产品质量：一种视角
- 作者：Das Rajarshi
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- IBM;
- PMR;
- assessment;
- component;
- post-release;
- pre-release;
- quality;
- sub-component;
72.A Practical Extension of Pairwise Testing

机译：成对测试的实用扩展
- 作者：Jeong Oksoon
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
73.Comparison of Static Analysis Tools for Finding Concurrency Bugs

机译：查找并发错误的静态分析工具的比较
- 作者：Manzoor Numan;Munir Hussan;Moayyed Misagh
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- concurrency bugs;
- static analysis tools;
- static code analysis;
74.Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions

机译：使用可执行断言检测面向方面的程序中的干扰
- 作者：Lauret Jimmy;Waeselynck Helene;Fabre Jean-Charles
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Aspect interference;
- executable assertions;
- verification;
75.A Topology-Based Model for Estimating the Diagnostic Efficiency of Statistics-Based Approaches

机译：基于拓扑的模型，用于估计基于统计的方法的诊断效率
- 作者：Perez Alexandre;Riboira Andre;Abreu Rui
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- Coverage estimation;
- software diagnosis;
- topology-based model;
76.Predicting Data Dependences for Slice Inspection Prioritization

机译：预测切片检查优先级的数据依存关系
- 作者：Zhang Yiji;Santelices Raul
- 会议名称：《23rd IEEE International Symposium on Software Reliability Engineering Workshops.》 | 2012年
- data dependence;
- program slicing;
- runtime prediction;
- static analysis;