Testing Java Exceptions: An Instrumentation Technique. - Alexandre Locci Martins; Simone Hanazumi; Ana Cristina Vieira de Melo (COMPSAC Workshops, 2014)

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. - Alexandre Locci Martins; Simone Hanazumi; Ana Cristina Vieira de Melo (ICCSA (1), 2014)

Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases. - Alexandre Locci Martins; Ana C. V. de Melo (SAST, 2016)