Alexandre Locci Martins

Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases

Ana C. V. de Melo, Alexandre Locci Martins, 2016, SAST.

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation

Simone Hanazumi, Ana Cristina Vieira de Melo, Alexandre Locci Martins, 2014, ICCSA.

Testing Java Exceptions: An Instrumentation Technique

Simone Hanazumi, Ana Cristina Vieira de Melo, Alexandre Locci Martins, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Teste e verificação formal do comportamento excepcional de programas Java

Alexandre Locci Martins, 2014 .