@misc{indiciae2015dcfdfae2,
  title = {Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach},
  author = {Miroslav Bures and Miroslav Macik and Bestoun S. Ahmed and Vaclav Rechtberger and Pavel Slavik},
  year = {2020},
  url = {https://arxiv.org/abs/2004.01478},
  note = {Source identifier: 2004.01478}
}