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