Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar. Empirical studies of predicate-based software testing. In 5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994. pages 55-64, IEEE, 1994. [doi]
Abstract is missing.