Pietro Braione

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Giovanni Denaro

> Home > Persons > Pietro Braione

Publications

2024
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-16827
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-16827
Pietro Braione, Giovanni Denaro:
Path-optimal symbolic execution of heap-manipulating programs. CoRR abs/2407.16827 (2024)
2023
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/KurianBBD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/KurianBBD23
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro:
Automatically generating test cases for safety-critical software via symbolic execution. J. Syst. Softw. 199: 111629 (2023)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KurianBBDMD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KurianBBDMD23
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: 483-494
2022
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-11138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-11138
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro:
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution. CoRR abs/2209.11138 (2022)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AquinoBDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AquinoBDS20
Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza:
Facilitating program performance profiling via evolutionary symbolic execution. Softw. Test. Verification Reliab. 30(2) (2020)
2019
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BraioneD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BraioneD19
Pietro Braione, Giovanni Denaro:
SUSHI and TARDIS at the SBST2019 tool competition. SBST@ICSE 2019: 25-28
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/RiboniGOBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/RiboniGOBD19
Andrea Riboni, Luca Guglielmo, Matteo Orrù, Pietro Braione, Giovanni Denaro:
Design for Testability of ERMTS Applications. ISSRE Workshops 2019: 128-136
2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BraioneDMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BraioneDMP18
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè:
SUSHI: a test generator for programs with complex structured inputs. ICSE (Companion Volume) 2018: 21-24
2017
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BraioneDMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BraioneDMP17
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè:
Combining symbolic execution and search-based testing for programs with complex heap inputs. ISSTA 2017: 90-101
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BraioneDP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BraioneDP16
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE 2016: 1018-1022
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BraioneDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BraioneDP15
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Symbolic execution of programs with heap inputs. ESEC/SIGSOFT FSE 2015: 602-613
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/BraioneDRBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/BraioneDRBM15
Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad:
Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. Validation of Evolving Software 2015: 147-184
2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/BraioneDMVM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/BraioneDMVM14
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): 311-333 (2014)
2013
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BraioneDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BraioneDP13
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. ESEC/SIGSOFT FSE 2013: 411-421
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BraioneDMVM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BraioneDMVM12
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad:
An industrial case study of the effectiveness of test generators. AST 2012: 50-56
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/BaludaBDP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/BaludaBDP11
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Enhancing structural software coverage by incrementally computing branch executability. Softw. Qual. J. 19(4): 725-751 (2011)
2010
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaludaBDP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaludaBDP10
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Structural coverage of feasible code. AST 2010: 59-66
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/BraioneDP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/BraioneDP10
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
On the Integration of Software Testing and Formal Analysis. LASER Summer School 2010: 158-193

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.