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>Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing</em>, Maringá/PR, 2016, pp. 21-27.