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