Martins, Alexandre, and Ana C. V. de Melo.
" Can you certify your software to MC/DC? A static analysis approach to account for the number test cases." <em>Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado,
Maringá/PR, 2016</em>. SBC, 2016,  
pp.21-27.