BRAIONE, PIETRO
BRAIONE, PIETRO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Automated Test Case Generation for Safety-Critical Software in Scade
2023 Kurian, E; Braione, P; Briola, D; D'Avino, D; Modonato, M; Denaro, G
Automatically generating test cases for safety-critical software via symbolic execution
2023 Kurian, E; Briola, D; Braione, P; Denaro, G
A Survey of Field-based Testing Techniques
2022 Bertolino, A; Braione, P; Angelis, G; Gazzola, L; Kifetew, F; Mariani, L; Orrù, M; Pezzè, M; Pietrantuono, R; Russo, S; Tonella, P
Facilitating program performance profiling via evolutionary symbolic execution
2020 Aquino, A; Braione, P; Denaro, G; Salza, P
Message from the GAUSS 2020 Workshop Chairs
2020 Braione, P; Briola, D; De Angelis, G; Gallo, F; Poggi, F; Quattrocchi, G
Design for testability of ermts applications
2019 Riboni, A; Guglielmo, L; Orru, M; Braione, P; Denaro, G
Hidden languages in a digital world: the case of sign language archives
2019 Geraci, C; Braione, P; Cecchetto, C; Quer, J; Pfau, P
SUSHI and TARDIS at the SBST2019 Tool Competition
2019 Braione, P; Denaro, G
SUSHI: A test generator for programs with complex structured inputs
2018 Braione, P; Denaro, G; Mattavelli, A; Pezzè, M
Combining symbolic execution and search-based testing for programs with complex heap inputs
2017 Braione, P; Denaro, G; Mattavelli, A; Pezze', M
JBSE: A symbolic executor for Java programs with complex heap inputs
2016 Braione, P; Denaro, G; Pezze', M
A context-aware style of software design
2015 ARCELLI FONTANA, F; Braione, P; Roveda, R; Zanoni, M
Static/dynamic test case generation for software upgrades via ARC-B and deltatest
2015 Braione, P; Denaro, G; Riganelli, O; Baluda, M; Muhammad, A
Symbolic execution of programs with heap inputs
2015 Braione, P; Denaro, G; Pezze', M
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component
2014 Braione, P; Denaro, G; Mattavelli, A; Vivanti, M; Muhammad, A
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
2013 Braione, P; Denaro, G; Pezze', M
An Eclipse Plug-in for Code Smell Detection
2012 ARCELLI FONTANA, F; Braione, P; Roveda, R; Zanoni, M
An industrial case study of the effectiveness of test generators
2012 Braione, P; Denaro, G; Mattavelli, A; Vivanti, M; Muhammad, A
Automatic detection of bad smells in code: An experimental assessment
2012 ARCELLI FONTANA, F; Braione, P; Zanoni, M
On the integration of software testing and formal analysis
2012 Braione, P; Denaro, G; Pezze', M