@ARTICLE{
author={Tekcan Tarkan,Zlokolica Vladimir M,Pekovic Vukota,Teslic Nikola Dj,Gunduzalp Mustafa},
year={2012},
title={User-driven Automatic Test-case Generation for DTV/STB Reliable Functional Verification},
journal={IEEE TRANSACTIONS ON CONSUMER ELECTRONICS},
volume={58},
number={2},
pages={587-595},
document_type={Article},
}