Martins, A., & 		Melo, A.
(2016).
 Can you certify your software to MC/DC? A static analysis approach to account for the number test cases.
In <em>Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, (pp. 21-27). Porto Alegre: SBC.