Automatic Test Generation for Coverage Analysis of ERTMS Software

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina. Automatic Test Generation for Coverage Analysis of ERTMS Software. In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 303-306, IEEE Computer Society, 2009. [doi]

Authors

Damiano Angeletti

This author has not been identified. Look up 'Damiano Angeletti' in Google

Enrico Giunchiglia

This author has not been identified. Look up 'Enrico Giunchiglia' in Google

Massimo Narizzano

This author has not been identified. Look up 'Massimo Narizzano' in Google

Alessandra Puddu

This author has not been identified. Look up 'Alessandra Puddu' in Google

Salvatore Sabina

This author has not been identified. Look up 'Salvatore Sabina' in Google