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