PEZZE', MAURO

PEZZE', MAURO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 139 (tempo di esecuzione: 0.031 secondi).
Titolo Tipologia Data di pubblicazione Autori File
A Survey of Field-based Testing Techniques 01 - Articolo su rivista 2021 Braione, PietroGazzola, LucaMariani, LeonardoOrrù, MatteoPezzè, Mauro +
Reusing Solutions Modulo Theories 01 - Articolo su rivista 2021 Denaro, GPezze, M +
Predicting failures in multi-tier distributed systems 01 - Articolo su rivista 2020 Mariani, LeonardoPezzè, MauroRiganelli, Oliviero +
Localizing Faults in Cloud Systems 02 - Intervento a convegno 2018 Mariani, LeonardoPezze, MauroRiganelli, Oliviero +
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles 02 - Intervento a convegno 2018 Mariani L.Pezze M. +
SUSHI: A test generator for programs with complex structured inputs 02 - Intervento a convegno 2018 Braione, PietroDenaro, GiovanniPezzè, Mauro +
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions 02 - Intervento a convegno 2017 DENARO, GIOVANNIPEZZE', MAURO +
GK-Tail+ An Efficient Approach to Learn Software Models 01 - Articolo su rivista 2017 MARIANI, LEONARDOPEZZE', MAURO +
An Exploratory Study of Field Failures 02 - Intervento a convegno 2017 Gazzola, LMariani, LPastore, FPezze, M
Combining symbolic execution and search-based testing for programs with complex heap inputs 02 - Intervento a convegno 2017 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO +
Reproducing concurrency failures from crash stacks 02 - Intervento a convegno 2016 PEZZE', MAURO +
Bidirectional Symbolic Analysis for Effective Branch Testing 01 - Articolo su rivista 2016 DENARO, GIOVANNIPEZZE', MAURO +
JBSE: A symbolic executor for Java programs with complex heap inputs 02 - Intervento a convegno 2016 BRAIONE, PIETRODENARO, GIOVANNIPEZZE', MAURO
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems 01 - Articolo su rivista 2016 PEZZE', MAURO +
Model-driven generation of runtime checks for system properties 01 - Articolo su rivista 2016 PEZZE', MAURO +
Automatic generation of oracles for exceptional behaviors 02 - Intervento a convegno 2016 PEZZE', MAURO +
Kriging-Based Self-Adaptive Cloud Controllers 01 - Articolo su rivista 2016 PEZZE', MAURO +
Recent Advances in Automatic Black-Box Testing 03 - Contributo in libro 2015 MARIANI, LEONARDOPEZZE', MAURO +
Towards an engineering methodology for multi-model scientific simulations 02 - Intervento a convegno 2015 PEZZE', MAURO +
Automatic workarounds: Exploiting the intrinsic redundancy of web applications 01 - Articolo su rivista 2015 PEZZE', MAURO +