Sfoglia per Rivista ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Mostrati risultati da 1 a 4 di 4
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency
2015-01-01 Ceccato, Mariano; Marchetto, Alessandro; Mariani, Leonardo; Nguyen, Cu Duy; Tonella, Paolo
Lime: A Coordination Middleware Supporting Mobility of Hosts and Agents
2006-01-01 Murphy, Amy Lynn; Picco, Gian Pietro; G. C., Roman
Mitigating Debugger-based Attacks to Java Applications with Self-Debugging
2024-01-01 Pizzolotto, Davide; Berlato, Stefano; Ceccato, Mariano
Validation of Requirements for Hybrid Systems: a Formal Approach
2012-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency | 1-gen-2015 | Ceccato, Mariano; Marchetto, Alessandro; Mariani, Leonardo; Nguyen, Cu Duy; Tonella, Paolo | |
Lime: A Coordination Middleware Supporting Mobility of Hosts and Agents | 1-gen-2006 | Murphy, Amy Lynn; Picco, Gian Pietro; G. C., Roman | |
Mitigating Debugger-based Attacks to Java Applications with Self-Debugging | 1-gen-2024 | Pizzolotto, Davide; Berlato, Stefano; Ceccato, Mariano | |
Validation of Requirements for Hybrid Systems: a Formal Approach | 1-gen-2012 | Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano |
Mostrati risultati da 1 a 4 di 4
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