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