Detection of data flow anomaly through program instrumentation (1979)

by J C Huang
Venue:IEEE Transactions on Software Engineering