Empirical studies of predicate-based software testing.

Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar

Browse the full ISSRE paper archive.