Alessandra Puddu

According to our database, Alessandra Puddu authored at least 5 papers between 2009 and 2010.

Collaborative distances:

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

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

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

Automatic Test Generation for Coverage Analysis of ERTMS Software.

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

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatic Test Generation for Coverage Analysis Using CBMC.

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

Proceedings of the Computer Aided Systems Theory, 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