"A model-based testing framework with reduced set of test cases for ..."

Canlong Ma, Julien Provost (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics