Copstein, Bernardo, E 		Oliveira, Flávio.
" Automated Test Script Generation for Model-Based Testing" <em>Anais do Simpósio Brasileiro de Qualidade de Software (SBQS)</em> [Online], (6 junho 2005)