Data Flow Coverage and the C Language (1991)

by J R Horgan, S London
Venue:In Proceedings of the Symposium on Testing, Analysis and Verification (TAV4), ACM