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.
Journal of Sys- tems and Software 82(9), 1403–1418 (2009)
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.