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]
Abstract is missing.