Arilo Claudio Dias Neto, Guilherme Horta Travassos. Seleção de Técnicas de Teste Baseado em Modelos. In Carlos Alberto Marques Pietrobon, Ana Liddy Cenni de Castro Magalhães, editors, Proceedings of the 9th Brazilian Symposium on Software Quality, SBQS 2010, Belém, PA, Brazil, June 7-11, 2010. pages 393-407, SBC, 2010. [doi]
@inproceedings{Dias-NetoT10-0,
title = {Seleção de Técnicas de Teste Baseado em Modelos},
author = {Arilo Claudio Dias Neto and Guilherme Horta Travassos},
year = {2010},
doi = {10.5753/sbqs.2010.15449},
url = {https://doi.org/10.5753/sbqs.2010.15449},
researchr = {https://researchr.org/publication/Dias-NetoT10-0},
cites = {0},
citedby = {0},
pages = {393-407},
booktitle = {Proceedings of the 9th Brazilian Symposium on Software Quality, SBQS 2010, Belém, PA, Brazil, June 7-11, 2010},
editor = {Carlos Alberto Marques Pietrobon and Ana Liddy Cenni de Castro Magalhães},
publisher = {SBC},
}