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: International Confer- ence on Tools and Algorithms for the Construction and Analysis of Systems, 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.