Kuo-Chung Tai: Predicate-Based Test Generation for Computer Programs. ICSE 1993: 267-276