Generalized Algorithmic Debugging and Testing (1992)

by P Fritzon, N Shahmehri, M Karkar
Venue:ACM Letters on Programming Languages and Systems