Alexandre Martins and Ana Melo. 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>, setembro 19, 2016, Maringá/PR, Brasil. SBC, Porto Alegre, Brasil, 21-27.