Environment for automatic testing and dynamic analysis of electronic program guide TV application | IEEE Conference Publication | IEEE Xplore