E-LIB Suche - Ergebnisse für: Braione, Pietro

1

Automatically generating test cases for safety-critical sof..:

Kurian, Elson ; Briola, Daniela ; Braione, Pietro.
Journal of Systems and Software. 199 (2023) - p. 111629 , 2023

2

Automated Test Case Generation for Safety-Critical Software..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

Kurian, Elson ; Braione, Pietro ; Briola, Daniela... - p. 483-494 , 2023

Link: https://doi.org/10.1109/..

3

About the special issue on: "Distributed Complex Systems: G..:

Braione, Pietro ; Briola, Daniela ; De Angelis, Guglielmo...
Journal of Software: Evolution and Process. 34 (2022) 10 - p. , 2022

Link: https://doi.org/10.1002/..

4

A Survey of Field-based Testing Techniques:

Bertolino, Antonia ; Braione, Pietro ; Angelis, Guglielmo De...
ACM Computing Surveys (CSUR). 54 (2021) 5 - p. 1-39 , 2021

Link: https://dl.acm.org/doi/1..

5

A Survey of Field-based Testing Techniques:

Bertolino, Antonia ; Braione, Pietro ; Angelis, Guglielmo De...
ACM Computing Surveys. 54 (2021) 5 - p. 1-39 , 2021

Link: https://doi.org/10.1145/..

6

Design for Testability of ERMTS Applications:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Riboni, Andrea ; Guglielmo, Luca ; Orru, Matteo.. - p. 128-136 , 2019

Link: https://doi.org/10.1109/..

7

SUSHI and TARDIS at the SBST2019 tool competition:

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

Braione, Pietro ; Denaro, Giovanni - p. 25-28 , 2019

Link: https://dl.acm.org/doi/1..

8

Facilitating program performance profiling via evolutionary..:

Aquino, Andrea ; Braione, Pietro ; Denaro, Giovanni.
Software Testing, Verification and Reliability. 30 (2019) 2 - p. , 2019

Link: https://doi.org/10.1002/..

9

SUSHI : a test generator for programs with complex struc..:

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

Braione, Pietro ; Denaro, Giovanni ; Mattavelli, Andrea. - p. 21-24 , 2018

Link: https://dl.acm.org/doi/1..

10

Combining symbolic execution and search-based testing for p..:

, In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Braione, Pietro ; Denaro, Giovanni ; Mattavelli, Andrea. - p. 90-101 , 2017

Link: https://dl.acm.org/doi/1..

11

JBSE: a symbolic executor for Java programs with complex he..:

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

Braione, Pietro ; Denaro, Giovanni ; Pezzè, Mauro - p. 1018-1022 , 2016

Link: https://dl.acm.org/doi/1..

12

A context-aware style of software design:

, In: Proceedings of the Second International Workshop on Context for Software Development,

Fontana, Francesca Arcelli ; Braione, Pietro ; Roveda, Riccardo. - p. 15-19 , 2015

Link: https://dl.acm.org/doi/1..

13

Symbolic execution of programs with heap inputs:

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

Braione, Pietro ; Denaro, Giovanni ; Pezzè, Mauro - p. 602-613 , 2015

Link: https://dl.acm.org/doi/1..

14

Software testing with code-based test generators: data and ..:

Braione, Pietro ; Denaro, Giovanni ; Mattavelli, Andrea..
Software Quality Journal. 22 (2013) 2 - p. 311-333 , 2013

Link: https://doi.org/10.1007/..

15

Enhancing symbolic execution with built-in term rewriting a..:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,

Braione, Pietro ; Denaro, Giovanni ; Pezzè, Mauro - p. 411-421 , 2013

Link: https://dl.acm.org/doi/1..