Techniques for selective revalidation (1990)

by J Hartmann, D J Robson
Venue:IEEE Software