Sfoglia per Autore
Kriging-Based Self-Adaptive Cloud Controllers
2016 Gambi, A; Pezze', M; Toffetti, G
Bidirectional Symbolic Analysis for Effective Branch Testing
2016 Baluda, M; 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
Recent Advances in Automatic Black-Box Testing
2015 Mariani, L; Pezze', M; Zuddas, D
Automatic workarounds: Exploiting the intrinsic redundancy of web applications
2015 Carzaniga, A; Gorla, A; Perino, N; Pezze', M
Efficient analysis of event processing applications
2015 Cugola, G; Margara, A; Pezze', M; Pradella, M
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
Symbolic execution of programs with heap inputs
2015 Braione, P; Denaro, G; Pezze', M
Dynamic data flow testing of object oriented systems
2015 Denaro, G; Margara, A; Pezze', M; Vivanti, M
LINK
2014 Mariani, L; Pezze', M; Riganelli, O; Santoro, M
Automatic testing of GUI-based applications
2014 Mariani, L; Pezze', M; Riganelli, O; Santoro, M
Cross-checking oracles from intrinsic software redundancy
2014 Carzaniga, A; Goffi, A; Gorla, A; Mattavelli, A; Pezze', 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
Link: Exploiting the Web of Data to Generate Test Inputs
2014 Mariani, L; Pezze', M; Riganelli, O; Santoro, M
Mining behavior models from user-intensive web applications.
2014 Ghezzi, C; Pezze', M; Sama, M; Tamburrelli, G
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2013
2013 Pezze', M; Harman, 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