"Automated Generation of Test Programs from Closed Specifications of ..."

Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics