Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira. Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. pages 251-260, IEEE Computer Society, 2004. [doi]
@inproceedings{BertoliniFFO04,
title = {Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis},
author = {Cristiano Bertolini and André G. Farina and Paulo Fernandes and Flávio Moreira Oliveira},
year = {2004},
doi = {10.1109/SEFM.2004.42},
url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.42},
tags = {testing, analysis},
researchr = {https://researchr.org/publication/BertoliniFFO04},
cites = {0},
citedby = {0},
pages = {251-260},
booktitle = {2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-2222-X},
}