J. Herbert and S. Nane.
" Testing within Constraints: a Practical Approach", in <em>Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Maringá/PR, 2016, pp. 136-145.