Copstein, B., & 		Oliveira, F.
(2005).
Automated Test Script Generation for Model-Based Testing.
In <em>Anais do IV Simpósio Brasileiro de Qualidade de Software</em>, (pp. 248-260). Porto Alegre: SBC.
doi:10.5753/sbqs.2005.16167