Automatic instantiation of abstract tests on specific configurations for large critical control systems.

Francesco Flammini Nicola Mazzocca Antonio Orazzo Automatic instantiation of abstract tests on specific configurations for large critical control systems. 91-110 2009 19 Softw. Test., Verif. Reliab. 2 http://dx.doi.org/10.1002/stvr.389 db/journals/stvr/stvr19.html#FlamminiMO09