| |
| * | 2009 | |
|---|---|---|
| 1 | EE | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294 |
| 1 | Damiano Angeletti | [1] |
| 2 | Enrico Giunchiglia | [1] |
| 3 | Massimo Narizzano | [1] |
| 4 | Salvatore Sabina | [1] |