| 2016 | ICTAC | Towards MC/DC Coverage of Properties Specification Patterns. | Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi |
| 2015 | ICCSA | A Classification of Test Purposes Based on Testable Properties. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2015 | SEFM | On the Testability of Properties Patterns. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2014 | COMPSAC | Testing Java Exceptions: An Instrumentation Technique. | Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2014 | ICCSA | Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation. | Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2013 | ISSTA | Generation of Java programs properties from test purposes. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2012 | QUATIC | Coordinating Exceptions of Java Systems: Implementation and Formal Verification. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2008 | SEFM | Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. | Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo |