COPSTEIN, Bernardo; OLIVEIRA, Flávio. Automated Test Script Generation for Model-Based Testing. In: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 4. , 2005, Porto Alegre-RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2005 . p. 248-260. DOI: https://doi.org/10.5753/sbqs.2005.16167.