Pietro Braione
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SANER | Path-Optimal Symbolic Execution of Heap-Manipulating Programs. | Pietro Braione, Giovanni Denaro, Luca Guglielmo |
| 2025 | AST | Automated Test Generation for Integration Testing. | Elson Kurian, Giovanni Denaro, Pietro Braione, Luca Guglielmo |
| 2023 | ICSE | Automated Test Case Generation for Safety-Critical Software in Scade. | Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro |
| 2019 | ICSE | SUSHI and TARDIS at the SBST2019 tool competition. | Pietro Braione, Giovanni Denaro |
| 2019 | ISSRE | Design for Testability of ERMTS Applications. | Andrea Riboni, Luca Guglielmo, Matteo Orr, Pietro Braione, Giovanni Denaro |
| 2018 | ICSE | SUSHI: a test generator for programs with complex structured inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2017 | ISSTA | Combining symbolic execution and search-based testing for programs with complex heap inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2015 | ICSE | A Context-Aware Style of Software Design. | Francesca Arcelli Fontana, Pietro Braione, Riccardo Roveda, Marco Zanoni |
| 2012 | ICSE | An industrial case study of the effectiveness of test generators. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad |
| 2010 | ICSE | Structural coverage of feasible code. | Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezz |
| 2004 | Coordination | On Calculi for Context-Aware Coordination. | Pietro Braione, Gian Pietro Picco |