Automatic test generation for predicates.

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

Browse the full ISSRE paper archive.