A. Dias-Neto and G. Travassos.
" Selection of Model-Based Test Techniques", in <em>Proceedings of the 9th Brazilian Symposium on Software Quality</em>, Belém, 2010, pp. 393-407, doi: <a href="https://doi.org/10.5753/sbqs.2010.15449">https://doi.org/10.5753/sbqs.2010.15449</a>.