Herbert, J., & 		Nane, S.
(2016).
 Testing within Constraints: a Practical Approach.
In <em>Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 136-145). Porto Alegre: SBC.