"Towards traceability of model-based testing artifacts."

Leila Naslavsky, Hadar Ziv, Debra J. Richardson (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics