Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification. - Vladimir Zlokolica; Nebojsa Milutinovic; Vladimir Marinkovic; Vukota Pekovic; Jan Zloh (ECBS, 2012)