Gabriele Palma

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, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA (2009)