PEZZE', MAURO
PEZZE', MAURO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
A Survey of Field-based Testing Techniques
2021 Bertolino, A; Braione, P; Angelis, G; Gazzola, L; Kifetew, F; Mariani, L; Orrù, M; Pezzè, M; Pietrantuono, R; Russo, S; Tonella, P
Reusing Solutions Modulo Theories
2021 Aquino, A; Denaro, G; Pezze, M
Predicting failures in multi-tier distributed systems
2020 Mariani, L; Pezzè, M; Riganelli, O; Xin, R
Localizing Faults in Cloud Systems
2018 Mariani, L; Monni, C; Pezze, M; Riganelli, O; Xin, R
Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles
2018 Mariani, L; Pezze, M; Zuddas, D
SUSHI: A test generator for programs with complex structured inputs
2018 Braione, P; Denaro, G; Mattavelli, A; Pezzè, M
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions
2017 Aquino, A; Denaro, G; Pezze', M
GK-Tail+ An Efficient Approach to Learn Software Models
2017 Mariani, L; Pezze', M; Santoro, M
An Exploratory Study of Field Failures
2017 Gazzola, L; Mariani, L; Pastore, F; Pezze, M
Combining symbolic execution and search-based testing for programs with complex heap inputs
2017 Braione, P; Denaro, G; Mattavelli, A; Pezze', M
Reproducing concurrency failures from crash stacks
2016 Bianchi, F; Pezze', M; T. e. r. r. a. g. n. i., V
Bidirectional Symbolic Analysis for Effective Branch Testing
2016 Baluda, M; Denaro, G; Pezze', M
JBSE: A symbolic executor for Java programs with complex heap inputs
2016 Braione, P; Denaro, G; Pezze', M
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
2016 Calinescu, R; Ghezzi, C; Johnson, K; Pezze', M; Rafiq, Y; Tamburrelli, G
Model-driven generation of runtime checks for system properties
2016 Pezze', M; Wuttke, J
Automatic generation of oracles for exceptional behaviors
2016 Goffi, A; Gorla, A; Ernst, M; Pezze', M
Kriging-Based Self-Adaptive Cloud Controllers
2016 Gambi, A; Pezze', M; Toffetti, G
Recent Advances in Automatic Black-Box Testing
2015 Mariani, L; Pezze', M; Zuddas, D
Towards an engineering methodology for multi-model scientific simulations
2015 Margara, A; Pezze', M; Pivkin, I; Santoro, M
Automatic workarounds: Exploiting the intrinsic redundancy of web applications
2015 Carzaniga, A; Gorla, A; Perino, N; Pezze', M