Improving the Automatic Test Generation process for Coverage Analysis using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu; Salvatore Sabina (RCRA@AI*IA, 2009)

Automatic Test Generation for Coverage Analysis Using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (EUROCAST, 2009)

Automatic Test Generation for Coverage Analysis of ERTMS Software. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (ICST, 2009)

Automatic generation of high quality test sets via CBMC. - Emanuele Di Rosa; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu (VERIFY@IJCAR, 2010)

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (J. Autom. Reason., 2010)