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]
Abstract is missing.