ANGELETTI, DAMIANO DANILO
ANGELETTI, DAMIANO DANILO
11 - Dipartimento di Informatica Sistemistica Telematica (DIST) (attivo dal 01/01/1984 al 18/07/2012)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Automatic Test Generation for Coverage Analysis Using CBMC
2009-01-01 Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; S., Sabina
Improving the automatic test generation proces for Coverage Analysis using CBMC
2009-01-01 Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra; Sabina, Salvatore
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic Test Generation for Coverage Analysis Using CBMC | 1-gen-2009 | Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; S., Sabina | |
Improving the automatic test generation proces for Coverage Analysis using CBMC | 1-gen-2009 | Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra; Sabina, Salvatore |