User-driven automatic test-case generation for DTV/STB reliable functional verification. - Tarkan Tekcan; Vladimir Zlokolica; Vukota Pekovic; Nikola Teslic; Mustafa Gunduzalp (IEEE Trans. Consumer Electron., 2012)