Verification of Set-Top box media player functionality using automated test system | IEEE Conference Publication | IEEE Xplore