Pietro Braione

According to our database, Pietro Braione authored at least 25 papers between 2002 and 2024.

Collaborative distances:

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

2024

Path-optimal symbolic execution of heap-manipulating programs.

Pietro Braione, Giovanni Denaro

CoRR, 2024

2023

Automatically generating test cases for safety-critical software via symbolic execution.

Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro

J. Syst. Softw., May, 2023

Automated Test Case Generation for Safety-Critical Software in Scade.

Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance".

Pietro Braione, Daniela Briola, Guglielmo De Angelis, Francesco Gallo, Francesco Poggi, Giovanni Quattrocchi

J. Softw. Evol. Process., 2022

A Survey of Field-based Testing Techniques.

Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella

ACM Comput. Surv., 2022

2020

Facilitating program performance profiling via evolutionary symbolic execution.

Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza

Softw. Test. Verification Reliab., 2020

2019

Design for Testability of ERMTS Applications.

Andrea Riboni, Luca Guglielmo, Matteo Orrù, Pietro Braione, Giovanni Denaro

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

SUSHI and TARDIS at the SBST2019 tool competition.

Pietro Braione, Giovanni Denaro

Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

2018

SUSHI: a test generator for programs with complex structured inputs.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Combining symbolic execution and search-based testing for programs with complex heap inputs.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

JBSE: a symbolic executor for Java programs with complex heap inputs.

Pietro Braione, Giovanni Denaro, Mauro Pezzè

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Symbolic execution of programs with heap inputs.

Pietro Braione, Giovanni Denaro, Mauro Pezzè

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A Context-Aware Style of Software Design.

Francesca Arcelli Fontana, Pietro Braione, Riccardo Roveda, Marco Zanoni

Proceedings of the 2nd IEEE/ACM International Workshop on Context for Software Development, 2015

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.

Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

2014

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad

Softw. Qual. J., 2014

2013

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.

Pietro Braione, Giovanni Denaro, Mauro Pezzè

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Automatic detection of bad smells in code: An experimental assessment.

Francesca Arcelli Fontana, Pietro Braione, Marco Zanoni

J. Object Technol., 2012

An industrial case study of the effectiveness of test generators.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011

Enhancing structural software coverage by incrementally computing branch executability.

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Softw. Qual. J., 2011

2010

On the Integration of Software Testing and Formal Analysis.

Pietro Braione, Giovanni Denaro, Mauro Pezzè

Proceedings of the Empirical Software Engineering and Verification, 2010

Structural coverage of feasible code.

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2006

Classification methods and inductive learning rules: what we may learn from theory.

Cesare Alippi, Pietro Braione

IEEE Trans. Syst. Man Cybern. Syst., 2006

2004

On calculi for context-aware systems.

Pietro Braione

PhD thesis, 2004

On Calculi for Context-Aware Coordination.

Pietro Braione, Gian Pietro Picco

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2002

A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications.

Pietro Braione

Proceedings of the 2nd International Conference on Peer-to-Peer Computing (P2P 2002), 2002