An approach to program testing (1975)

by J C HUANG
Venue:ACM Computing Surveys