Dias-Neto, Arilo Claudio, and Guilherme Horta Travassos.
" Selection of Model-Based Test Techniques." <em>Proceedings of the 9th Brazilian Symposium on Software Quality,
Belém, 2010</em>. SBC, 2010,  
pp.393-407.