A General Framework for Debugging (1991)

by K Araki, Z Furukawa, J Cheng
Venue:IEEE Sofmare