Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.

Cristiano Bertolini, Andr G. Farina, Paulo Fernandes, Flvio Moreira Oliveira

Browse the full SEFM paper archive.