Simone Hanazumi

13 papers A 1B 2C 1Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2018 — conf
Test Framework for Jenkins Shared Libraries.
SAST
Renan Vieira Antunes, Gabriela Matias Navarro, Simone Hanazumi
2017 J jnl
A Formal Approach to implement java exceptions in cooperative systems.
J. Syst. Softw.
Simone Hanazumi, Ana C. V. de Melo
2016 C conf
Towards MC/DC Coverage of Properties Specification Patterns.
ICTAC
Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi
2015 — conf
A Classification of Test Purposes Based on Testable Properties.
ICCSA (1)
Simone Hanazumi, Ana Cristina Vieira de Melo
2015 J jnl
From Test Purposes to Formal JPF Properties.
ACM SIGSOFT Softw. Eng. Notes
Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu
2015 — —
Generation of Java program properties from test purposes.
Simone Hanazumi
2015 B conf
On the Testability of Properties Patterns.
SEFM
Simone Hanazumi, Ana Cristina Vieira de Melo
2014 — conf
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation.
ICCSA (1)
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
2014 — conf
Testing Java Exceptions: An Instrumentation Technique.
COMPSAC Workshops
Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo
2013 A conf
Generation of Java programs properties from test purposes.
ISSTA
Simone Hanazumi, Ana Cristina Vieira de Melo
2012 Misc conf
Coordinating Exceptions of Java Systems: Implementation and Formal Verification.
QUATIC
Simone Hanazumi, Ana Cristina Vieira de Melo
2009 — conf
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.
TestCom/FATES
Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo
2008 B conf
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.
SEFM
Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo