Empirical studies of predicate-based software testing (1994)

by M Vouk, K Tai, A Paradkar
Venue:Proc. International Symposium on Software Reliability Engineering (ISSRE’94