@article {Fritzson:1992:GAD:161494.161498,
	title = {Generalized algorithmic debugging and testing},
	journal = {ACM Lett. Program. Lang. Syst.},
	volume = {1},
	year = {1992},
	month = {December},
	pages = {303{\textendash}322},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {algorithmic debugging, automated debugging, category partition testing, program slicing},
	issn = {1057-4514},
	doi = {http://doi.acm.org/10.1145/161494.161498},
	url = {http://doi.acm.org/10.1145/161494.161498},
	author = {P. Fritzson and N. Shahmehri and M. Kamkar and Tibor Gyim{\'o}thy}
}
@conference {Fritzson:1991:GAD:113445.113472,
	title = {Generalized algorithmic debugging and testing},
	booktitle = {Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation},
	series = {PLDI {\textquoteright}91},
	year = {1991},
	pages = {317{\textendash}326},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	isbn = {0-89791-428-7},
	doi = {http://doi.acm.org/10.1145/113445.113472},
	url = {http://doi.acm.org/10.1145/113445.113472},
	author = {P. Fritzson and Tibor Gyim{\'o}thy and M. Kamkar and N. Shahmehri}
}
