Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. - Kleber S. Xavier; Simone Hanazumi; Ana Cristina Vieira de Melo (SEFM, 2008)

OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. - Paulo R. F. Nunes; Simone Hanazumi; Ana Cristina Vieira de Melo (TestCom/FATES, 2009)

Coordinating Exceptions of Java Systems: Implementation and Formal Verification. - Simone Hanazumi; Ana Cristina Vieira de Melo (QUATIC, 2012)

Generation of Java programs properties from test purposes. - Simone Hanazumi; Ana Cristina Vieira de Melo (ISSTA, 2013)

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)

A Classification of Test Purposes Based on Testable Properties. - Simone Hanazumi; Ana Cristina Vieira de Melo (ICCSA (1), 2015)

On the Testability of Properties Patterns. - Simone Hanazumi; Ana Cristina Vieira de Melo (SEFM, 2015)

From Test Purposes to Formal JPF Properties. - Simone Hanazumi; Ana Cristina Vieira de Melo; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2015)

Generation of Java program properties from test purposes. - Simone Hanazumi (2015)

Towards MC/DC Coverage of Properties Specification Patterns. - Ana C. V. de Melo; Corina S. Pasareanu; Simone Hanazumi (ICTAC, 2016)

A Formal Approach to implement java exceptions in cooperative systems. - Simone Hanazumi; Ana C. V. de Melo (J. Syst. Softw., 2017)

Test Framework for Jenkins Shared Libraries. - Renan Vieira Antunes; Gabriela Matias Navarro; Simone Hanazumi (SAST, 2018)