@misc{indiciae750e147a9ff6,
  title = {An Automated Testing Framework For Smart TV apps Based on Model Separation},
  author = {Bestoun S. Ahmed and Angelo Gargantini and Miroslav Bures},
  year = {2020},
  url = {https://arxiv.org/abs/2002.00404},
  note = {Source identifier: 2002.00404}
}