"TeStor: Deriving Test Sequences from Model-Based Specifications."

Patrizio Pelliccione et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics