A. Martins and A. Melo.
" 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>, Maringá/PR, 2016, pp. 21-27.