@inproceedings{aaai11,
	author          = {Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J.C. van Gemund},
	title           = {Spectrum-based Sequential Diagnosis},
	booktitle       = {Proceedings of the 25th AAAI International Conference on Artificial Intelligence (AAAI'11)},
	year            = {2011},
	month           = {aug},
	pages           = {189--196},
	isbn            = {978-1-57735-507-6},
	project         = {Poseidon},
	topic           = {Testing},
	group           = {SE,ES}
}