Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Using Symbolic Execution for Verifying Safety-Critical Systems
2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro
Assertions to Better Specify the Amazon Bug
2002-01-01 Baresi, Luciano; Denaro, Giovanni; Mainetti, Luca; Paolini, Paolo
Dynamic data flow testing of object oriented systems
2015-01-01 Denaro, Giovanni; Margara, Alessandro; Pezze', Mauro; Vivanti, Mattia
Symbolic execution-driven extraction of the parallel execution plans of Spark applications
2019-01-01 Baresi, L.; Denaro, G.; Quattrocchi, G.
Big-data applications as self-Adaptive systems of systems
2019-01-01 Baresi, L.; Denaro, G.; Quattrocchi, G.
Mostrati risultati da 1 a 5 di 5
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