Gabriele Palma

According to our database, Gabriele Palma authored at least 2 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Automatic generation of high quality test sets via CBMC.

Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu

Proceedings of the 6th International Verification Workshop, 2010

2009

Improving the Automatic Test Generation process for Coverage Analysis using CBMC.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009