Model-Based Test Adaptation for Smart TVs | IEEE Conference Publication | IEEE Xplore