Simone Hanazumi

According to our database, Simone Hanazumi authored at least 13 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Test Framework for Jenkins Shared Libraries.

Renan Vieira Antunes, Gabriela Matias Navarro, Simone Hanazumi

Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

2017

A Formal Approach to implement java exceptions in cooperative systems.

Simone Hanazumi, Ana C. V. de Melo

J. Syst. Softw., 2017

2016

Towards MC/DC Coverage of Properties Specification Patterns.

Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Generation of Java program properties from test purposes.

Simone Hanazumi

PhD thesis, 2015

From Test Purposes to Formal JPF Properties.

Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2015

On the Testability of Properties Patterns.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A Classification of Test Purposes Based on Testable Properties.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation.

Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Testing Java Exceptions: An Instrumentation Technique.

Alexandre Locci Martins, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Generation of Java programs properties from test purposes.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Coordinating Exceptions of Java Systems: Implementation and Formal Verification.

Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

2009

OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.

Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Testing of Software and Communication Systems, 2009

2008

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.

Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008