Predicate-Based Test Generation for Computer Programs.

Kuo-Chung Tai

Browse the full ICSE paper archive.