Sfoglia per Autore
Automatic generation of oracles for exceptional behaviors
2016 Goffi, A; Gorla, A; Ernst, M; Pezze', M
Model-driven generation of runtime checks for system properties
2016 Pezze', M; Wuttke, J
Kriging-Based Self-Adaptive Cloud Controllers
2016 Gambi, A; Pezze', M; Toffetti, G
Dynamic data flow testing of object oriented systems
2015 Denaro, G; Margara, A; Pezze', M; Vivanti, M
Symbolic execution of programs with heap inputs
2015 Braione, P; Denaro, G; Pezze', M
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
Measuring software redundancy
2015 Carzaniga, A; Mattavelli, A; Pezze', M
Reusing constraint proofs in program analysis
2015 Aquino, A; Bianchi, F; Chen, M; Denaro, G; Pezze', M
Efficient analysis of event processing applications
2015 Cugola, G; Margara, A; Pezze', M; Pradella, M
Automatic workarounds: Exploiting the intrinsic redundancy of web applications
2015 Carzaniga, A; Gorla, A; Perino, N; Pezze', M
Mining behavior models from user-intensive web applications.
2014 Ghezzi, C; Pezze', M; Sama, M; Tamburrelli, G
LINK
2014 Mariani, L; Pezze', M; Riganelli, O; Santoro, M
Link: Exploiting the Web of Data to Generate Test Inputs
2014 Mariani, L; Pezze', M; Riganelli, O; Santoro, M
On the Right Objectives of Data Flow Testing
2014 Denaro, G; Pezze', M; Vivanti, M
Automatic test case evolution
2014 Mirzaaghaei, M; Pastore, F; Pezze', M
Cross-checking oracles from intrinsic software redundancy
2014 Carzaniga, A; Goffi, A; Gorla, A; Mattavelli, A; Pezze', M
Automatic testing of GUI-based applications
2014 Mariani, L; Pezze', M; Riganelli, O; Santoro, M
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
2013 Braione, P; Denaro, G; Pezze', M
Exception Handlers for Healing Component Based Systems
2013 Chang, H; Mariani, L; Pezze', M
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile