Alexandre Locci Martins

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Static Analysis

Top Venues

COMPSAC Workshops

Publications

Alexandre Locci Martins, Ana C. V. de Melo
Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases. SAST (2016)
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
Testing Java Exceptions: An Instrumentation Technique. COMPSAC Workshops (2014)
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. ICCSA (1) (2014)