Searched for:
(1 - 6 of 6)
document
Abreu, R.F. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
This technical report is meant to report our findings and ideas with respect to spectrum-based fault localization and modelbased diagnosis. In the following we want to introduce and compare model-based diagnosis (MBD), spectrum-based fault localization (SFL) and our contributions using 3-inverters as a running example (which is simple, yet...
report 2008
document
Abreu, R.F. (author), Gonzalez, A. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
Preprint of paper published in: ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, 4-7 May 2008 Fault screeners are simple software (or hardware) constructs that detect variable value errors based on unary invariant checking. In this paper we evaluate and compare the...
report 2008
document
Van Gemund, A.J.C. (author), Abreu, R.F. (author), Zoeteweij, P. (author)
In this working report we outline how to determine the intermittency parameters gj from the activity matrix A (context: DX’08 paper Abreu, Zoeteweij, Van Gemund). We start with the single fault (SF) case and show that averaging over the error vector e is the exact way. We also show that in this way the probability of obtaining exactly this e...
report 2008
document
Zoeteweij, M.L. (author)
doctoral thesis 2007
document
Apt, K.R. (author), Zoeteweij, P. (author)
journal article 2007
document
Abreu, R. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
Because of constraints imposed by the market, embedded software in consumer electronics is almost inevitably shipped with faults and the goal is just to reduce the inherent unreliability to an acceptable level before a product has to be released. Automatic fault diagnosis is a valuable tool to capture software faults without extra effort spent...
report 2006
Searched for:
(1 - 6 of 6)