J. Herbert and S. Nane.
" Testing within Constraints: a Practical Approach", in <em>Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing</em>, Maringá/PR, 2016, pp. 136-145.