Automated system for testing and verification of control access kernel functionality in set-top boxes | IEEE Conference Publication | IEEE Xplore