Test Case Generation using Stochastic Automata Networks: Quantitative Analysis
BERTOLINI, C. ; FARINA, A. G. ; FERNANDES, P. ; FERNANDES, P. ; OLIVEIRA, F. M. . Test Case Generation using Stochastic Automata Networks: Quantitative Analysis. In: 2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing. SEFM 2004, 2004. v. 1. p. 251-260.
2004