@inproceedings{Zoetewij:2007.vvss,
	author          = {P. Zoeteweij and R. Abreu and R. Golsteijn and {A.J.C. van Gemund}},
	title           = {Fault diagnosis of embedded software using program spectra},
	booktitle       = {Proceedings of Symposium on Verification and Validation of Software Systems (VVSS'07)},
	publisher       = {Einhoven University of Technology},
	year            = {2007},
	editor          = {P. Groot},
	series          = {TUE Computer Science Reports},
	pages           = {47-53},
	number          = {07-04},
	isbn            = {0926-4515},
	project         = {TRADER},
	group           = {SE}
}