Pietro Braione

27 papers A 1C 2Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2025 C conf
Automated Test Generation for Integration Testing.
AST
Elson Kurian, Giovanni Denaro, Pietro Braione, Luca Guglielmo
2024 J jnl
Path-optimal symbolic execution of heap-manipulating programs.
CoRR
Pietro Braione, Giovanni Denaro
2023 — conf
Automated Test Case Generation for Safety-Critical Software in Scade.
ICSE-SEIP
Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro
2023 J jnl
Automatically generating test cases for safety-critical software via symbolic execution.
J. Syst. Softw.
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
2022 J jnl
A Survey of Field-based Testing Techniques.
ACM Comput. Surv.
Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella
2022 J jnl
About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance".
J. Softw. Evol. Process.
Pietro Braione, Daniela Briola, Guglielmo De Angelis, Francesco Gallo, Francesco Poggi, Giovanni Quattrocchi
2022 J jnl
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution.
CoRR
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
2020 J jnl
Facilitating program performance profiling via evolutionary symbolic execution.
Softw. Test. Verification Reliab.
Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza
2019 — conf
Design for Testability of ERMTS Applications.
ISSRE Workshops
Andrea Riboni, Luca Guglielmo, Matteo Orrù, Pietro Braione, Giovanni Denaro
2019 — conf
SUSHI and TARDIS at the SBST2019 tool competition.
SBST@ICSE
Pietro Braione, Giovanni Denaro
2018 — conf
SUSHI: a test generator for programs with complex structured inputs.
ICSE (Companion Volume)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2017 A conf
Combining symbolic execution and search-based testing for programs with complex heap inputs.
ISSTA
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2016 — conf
JBSE: a symbolic executor for Java programs with complex heap inputs.
SIGSOFT FSE
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2015 — conf
A Context-Aware Style of Software Design.
CSD@ICSE
Francesca Arcelli Fontana, Pietro Braione, Riccardo Roveda, Marco Zanoni
2015 — ch.
Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.
Validation of Evolving Software
Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad
2015 — conf
Symbolic execution of programs with heap inputs.
ESEC/SIGSOFT FSE
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2014 J jnl
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component.
Softw. Qual. J.
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
2013 — conf
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.
ESEC/SIGSOFT FSE
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2012 — conf
An industrial case study of the effectiveness of test generators.
AST@ICSE
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
2012 J jnl
Automatic detection of bad smells in code: An experimental assessment.
J. Object Technol.
Francesca Arcelli Fontana, Pietro Braione, Marco Zanoni
2011 J jnl
Enhancing structural software coverage by incrementally computing branch executability.
Softw. Qual. J.
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
2010 — conf
On the Integration of Software Testing and Formal Analysis.
LASER Summer School
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2010 — conf
Structural coverage of feasible code.
AST@ICSE
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
2006 J jnl
Classification methods and inductive learning rules: what we may learn from theory.
IEEE Trans. Syst. Man Cybern. Syst.
Cesare Alippi, Pietro Braione
2004 C conf
On Calculi for Context-Aware Coordination.
COORDINATION
Pietro Braione, Gian Pietro Picco
2004 — —
On calculi for context-aware systems.
Pietro Braione
2002 — conf
A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications.
Peer-to-Peer Computing
Pietro Braione