Martins, Alexandre, E 		Melo, Ana.
" Can you certify your software to MC/DC? A static analysis approach to account for the number test cases" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (19 setembro 2016)