A new approach to program testing (1975)

by J C KING
Venue:In Proceedings of the International Conference on Reliable Software