Publications
Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1992. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991.