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.
Formal Methods in System Design 40(1), 20–40 (2012)
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.