A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.

Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo

Browse the full EDCC paper archive.