Generalized Algorithmic Debugging and Testing (1992)

by P Fritzson, N Shahmehri, M Kamkar, T Gyimóthy
Venue:LOPLAS