 | 2009 |
|---|
| 5 |       | Francesco Flammini,
Nicola Mazzocca,
Antonio Orazzo:
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Softw. Test., Verif. Reliab. 19(2): 91-110 (2009) |
| 2008 |
|---|
| 4 | | Renato Donini,
Stefano Marrone,
Nicola Mazzocca,
Antonio Orazzo,
Domenico Papa,
Salvatore Venticinque:
Testing Complex Safety-Critical Systems in SOA Context.
CISIS 2008: 87-93 |
| 2005 |
|---|
| 3 | | Giuseppe De Nicola,
Pasquale di Tommaso,
Rosaria Esposito,
Francesco Flammini,
Pietro Marmo,
Antonio Orazzo:
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
EDCC 2005: 305-317 |
| 2004 |
|---|
| 2 | | Giuseppe De Nicola,
Pasquale di Tommaso,
Rosaria Esposito,
Francesco Flammini,
Antonio Orazzo:
A Hybrid Testing Methodology for Railway Control Systems.
SAFECOMP 2004: 116-129 |
| 2003 |
|---|
| 1 | | Pasquale di Tommaso,
Rosaria Esposito,
Pietro Marmo,
Antonio Orazzo:
Hazard Analysis of Complex Distributed Railway Systems.
SRDS 2003: 283-292 |
