Axiomatizing software test data adequacy (1986)

by Elaine J Weyuker
Venue:IEEE Transactions on Software Engineering