Alessandra Puddu

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR (2010)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reason. 45 (4) (2010)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA (2009)