@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} }