@misc{indiciae6f23dc8ee6d2,
  title = {Combining closed-loop test generation and execution by means of model checking},
  author = {Igor Buzhinsky and Valeriy Vyatkin},
  year = {2019},
  url = {https://arxiv.org/abs/1907.11895},
  note = {Source identifier: 1907.11895}
}