Pietro Braione

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 12

Top Topics

Symbolic Execution

Software Testing

Structured Domains

Test Case Generation

Top Venues

ICSE (Companion Volume)

Softw. Test. Verification Reliab.

Publications

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