"Test Case Generation Using Stochastic Automata Networks: Quantitative ..."

Cristiano Bertolini et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics