BRAIONE, PIETRO

BRAIONE, PIETRO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.068 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Automated Test Case Generation for Safety-Critical Software in Scade 02 - Intervento a convegno 2023 Kurian, EBraione, PBriola, DModonato, MDenaro, G +
Automatically generating test cases for safety-critical software via symbolic execution 01 - Articolo su rivista 2023 Kurian E.Briola D.Braione P.Denaro G.
A Survey of Field-based Testing Techniques 01 - Articolo su rivista 2022 Braione, PietroGazzola, LucaMariani, LeonardoOrrù, MatteoPezzè, Mauro +
Facilitating program performance profiling via evolutionary symbolic execution 01 - Articolo su rivista 2020 Braione P.Denaro G. +
Message from the GAUSS 2020 Workshop Chairs 02 - Intervento a convegno 2020 Braione P.Briola D. +
Design for testability of ermts applications 02 - Intervento a convegno 2019 Riboni A.Guglielmo L.Orru M.Braione P.Denaro G.
Hidden languages in a digital world: the case of sign language archives 03 - Contributo in libro 2019 Geraci, CBraione, PCecchetto, C +
SUSHI and TARDIS at the SBST2019 Tool Competition 02 - Intervento a convegno 2019 Braione P.Denaro G.
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +
Combining symbolic execution and search-based testing for programs with complex heap inputs 02 - Intervento a convegno 2017 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
JBSE: A symbolic executor for Java programs with complex heap inputs 02 - Intervento a convegno 2016 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
A context-aware style of software design 02 - Intervento a convegno 2015 ARCELLI FONTANA, FRANCESCABRAIONE, PIETROROVEDA, RICCARDOZANONI, MARCO
Static/dynamic test case generation for software upgrades via ARC-B and deltatest 03 - Contributo in libro 2015 BRAIONE, PIETRODENARO, GIOVANNIRIGANELLI, OLIVIERO +
Symbolic execution of programs with heap inputs 02 - Intervento a convegno 2015 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component 01 - Articolo su rivista 2014 BRAIONE, PIETRODENARO, GIOVANNI +
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization 02 - Intervento a convegno 2013 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
An Eclipse Plug-in for Code Smell Detection 02 - Intervento a convegno 2012 ARCELLI FONTANA, FRANCESCABRAIONE, PIETROROVEDA, RICCARDOZANONI, MARCO
An industrial case study of the effectiveness of test generators 02 - Intervento a convegno 2012 BRAIONE, PIETRODENARO, GIOVANNI +
Automatic detection of bad smells in code: An experimental assessment 01 - Articolo su rivista 2012 ARCELLI FONTANA, FRANCESCABRAIONE, PIETROZANONI, MARCO
On the integration of software testing and formal analysis 03 - Contributo in libro 2012 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO