A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Characterizing diagnoses and systems
Artificial Intelligence
An empirical investigation of program spectra
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A variant of Reiter's hitting-set algorithm
Information Processing Letters
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
Empirical Software Engineering
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
On the Accuracy of Spectrum-based Fault Localization
TAICPART-MUTATION '07 Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION
Complexity of Max-SAT using stochastic algorithms
Proceedings of the 10th annual conference on Genetic and evolutionary computation
An observation-based model for fault localization
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Pervasive diagnosis: the integration of diagnostic goals into production plans
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Evaluating Models for Model-Based Debugging
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Systematic versus stochastic constraint satisfaction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A new bayesian approach to multiple intermittent fault diagnosis
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Diagnosing multiple persistent and intermittent faults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Zoltar: A Toolset for Automatic Fault Localization
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Improved algorithms for deriving all minimal conflict sets in model-based diagnosis
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
Architecture-based run-time fault diagnosis
ECSA'11 Proceedings of the 5th European conference on Software architecture
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
AI for the win: improving spectrum-based fault localization
ACM SIGSOFT Software Engineering Notes
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
Diagnosing architectural run-time failures
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Hi-index | 0.00 |
In fault diagnosis intermittent failure models are an important tool to adequately deal with realistic failure behavior. Current model-based diagnosis approaches account for the fact that a component c"j may fail intermittently by introducing a parameter g"j that expresses the probability the component exhibits correct behavior. This component parameter g"j, in conjunction with a priori fault probability, is used in a Bayesian framework to compute the posterior fault candidate probabilities. Usually, information on g"j is not known a priori. While proper estimation of g"j can be critical to diagnostic accuracy, at present, only approximations have been proposed. We present a novel framework, coined Barinel, that computes estimations of the g"j as integral part of the posterior candidate probability computation using a maximum likelihood estimation approach. Barinel's diagnostic performance is evaluated for both synthetic systems, the Siemens software diagnosis benchmark, as well as for real-world programs. Our results show that our approach is superior to reasoning approaches based on classical persistent failure models, as well as previously proposed intermittent failure models.