Login / Signup
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Francesco Flammini
Nicola Mazzocca
Antonio Orazzo
Published in:
Softw. Test. Verification Reliab. (2009)
Keyphrases
</>
control system
high level
higher level
data sets
low level
real time
databases
case study
three dimensional
case based reasoning
semi automatic
fully automatic