TY  - RPRT
TI  - Automatic instantiation of abstract tests on specific configurations for large critical control systems
AU  - Francesco Flammini
AU  - Nicola Mazzocca
AU  - Antonio Orazzo
PY  - 2013
DO  - 10.5555/1552138.1552139
UR  - https://arxiv.org/abs/1303.2966
ID  - 1303.2966
ER  -