"Reification of Executable Test Scripts in Formal Specicifation-Based Test ..."

Fabrice Bouquet, Bruno Legeard (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics