Simone Hanazumi

ORCID

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 6

Top Venues

University of São Paulo, Brazil (PHD)

Education History

University of São Paulo, Brazil

PHD

Publications

Renan Vieira Antunes, Gabriela Matias Navarro, Simone Hanazumi
Test Framework for Jenkins Shared Libraries. SAST (2018)
Simone Hanazumi, Ana C. V. de Melo
A Formal Approach to implement java exceptions in cooperative systems. J. Syst. Softw. 131 (2017)
Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi
Towards MC/DC Coverage of Properties Specification Patterns. ICTAC (2016)
Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu
From Test Purposes to Formal JPF Properties. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Simone Hanazumi, Ana Cristina Vieira de Melo
On the Testability of Properties Patterns. SEFM (2015)
Simone Hanazumi, Ana Cristina Vieira de Melo
A Classification of Test Purposes Based on Testable Properties. ICCSA (1) (2015)
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)
Simone Hanazumi, Ana Cristina Vieira de Melo
Generation of Java programs properties from test purposes. ISSTA (2013)
Simone Hanazumi, Ana Cristina Vieira de Melo
Coordinating Exceptions of Java Systems: Implementation and Formal Verification. QUATIC (2012)
Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. TestCom/FATES (2009)
Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. SEFM (2008)

Simone Hanazumi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simone Hanazumi