AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs | IEEE Journals & Magazine | IEEE Xplore