TY  - RPRT
TI  - Combining closed-loop test generation and execution by means of model checking
AU  - Igor Buzhinsky
AU  - Valeriy Vyatkin
PY  - 2019
UR  - https://arxiv.org/abs/1907.11895
ID  - 1907.11895
ER  -