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. [doi]
@article{FlamminiMO09,
title = {Automatic instantiation of abstract tests on specific configurations for large critical control systems},
author = {Francesco Flammini and Nicola Mazzocca and Antonio Orazzo},
year = {2009},
doi = {10.1002/stvr.389},
url = {http://dx.doi.org/10.1002/stvr.389},
tags = {control systems, testing},
researchr = {https://researchr.org/publication/FlamminiMO09},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {19},
number = {2},
pages = {91-110},
}