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.
Advances in Computers, Elsevier 58, 117–148 (2003)
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.