An applicable family of data flow testing criteria (1988)

by P G Frankl, E J Weyuker
Venue:IEEE Trans. Software Engineering