Proposes a framework for hybrid model checking and testing on coverage-achieving test suites to verify closed-loop industrial automation systems while trading reliability against computational complexity.
In: 10th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technologies (NPIC & HMIT 2017), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Combining closed-loop test generation and execution by means of model checking
Proposes a framework for hybrid model checking and testing on coverage-achieving test suites to verify closed-loop industrial automation systems while trading reliability against computational complexity.