@conference {abreu2008dynamic,
	title = {A dynamic modeling approach to software multiple-fault localization},
	booktitle = {Proceedings of the Nineteenth International Workshop on Principles of Diagnosis - DX},
	volume = {8},
	year = {2008},
	month = {September},
	address = {Blue Mountains, Australia},
	abstract = {<p>Current model-based approaches to software debugging use static program analysis to derive model of the program. In contrast, in the software engineering domain diagnosis approaches are based on analyzing dynamic execution behavior. We present a model-based approach where the program model is derived from dynamic execution behavior, and evaluate its diagnostic performance for both synthetic programs and the Siemens software benchmark, extended by us to accommodate multiple faults. We show that our approach outperforms other model-based software debugging techniques, which is partly due to the use of De Kleer{\textquoteright}s intermittency model to account for the variability of software component behavior.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/abreu_dx08.pdf},
	author = {Rui Abreu and Zoeteweij, Peter and Van Gemund, Arjan JC}
}