Automatic Test Generation for Coverage Analysis of ERTMS Software.

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

Browse the full ICST paper archive.