@INProceedings{AZG_IEAAIE:09,
	author    = {Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund},
	title     = {A Model-based Software Reasoning Approach to Software Debugging},
	booktitle = {IEA-AIE'09, Procedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems},
	address   = {Tainan, Taiwan},
	month     = {June 24 -- 27},
	publisher = {Springer-Verlag},
	year      = 2009
        series    = {Studies in Computational Intelligence},
        volume    = {214},
	pages     = {233--239},
}