Automatic Functionality Verification of Hybrid Set-Top Boxes With Dynamic User Interface | IEEE Journals & Magazine | IEEE Xplore