"Model Validation using Automatically Generated Requirements-Based Tests."

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics