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