User-driven automatic test-case generation for DTV/STB reliable functional verification | IEEE Journals & Magazine | IEEE Xplore