Tarkan Tekcan, Vladimir Zlokolica, Vukota Pekovic, Nikola Teslic, Mustafa Gunduzalp. User-driven automatic test-case generation for DTV/STB reliable functional verification. IEEE Trans. Consumer Electronics, 58(2):587-595, 2012. [doi]
Abstract is missing.