148 records found
1
Reliability Analysis of k-out-of-n Systems with Cold Standby
Prioritizing Tests for Fault Localization
Online Spectrum-based Fault Localization for Health Monitoring and Fault Recovery of Self-Adaptive Systems
Online Fault Localization and Health Monitoring for Software Systems
A Diagnostic Reasoning Approach to Defect Prediction
Prioritizing Tests for Software Fault Localization
A Runtime Testability Metric for Dynamic High-Availability Component-based Systems
Spectrum-based Health Monitoring for Self-Adaptive Systems
An Empirical Study on the Usage of Testability Information to Fault Localization in Software
Simultaneous Debugging of Software Faults
Diagnosing Intermittent Faults Using Maximum Likelihood Estimation
Spectrum-Based Sequential Diagnosis
Increasing System Availability with Local Recovery based on Fault Localization
Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework
Exploiting Count Spectra for Bayesian Fault Localization
Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa
Dealing with Uncertainty in Operational Transport Planning
A Model-Based Active Testing Approach to Sequential Diagnosis
