@inproceedings{inproceedingsded27479,
title   = {Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases},
author = {Martins, Alexandre Locci and Melo, Ana Cristina Vieira de},
year = {2016},
doi = {10.1145/2993288.2993290},
publisher = {ACM},
booktitle   = {Brazilian Symposium on Systematic and Automated Software Testing - SAST}
}