"FAST: Formal specification driven test harness generation."

Jiong Gong et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics