"Formal Test Automation: The Conference Protocol with TGV/TORX."

Lydie du Bousquet et al. (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics