{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T10:39:43Z","timestamp":1700217583981},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Consumer Electron."],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/tce.2012.6227464","type":"journal-article","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T22:47:39Z","timestamp":1342738059000},"page":"587-595","source":"Crossref","is-referenced-by-count":9,"title":["User-driven automatic test-case generation for DTV\/STB reliable functional verification"],"prefix":"10.1109","volume":"58","author":[{"given":"Tarkan","family":"Tekcan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Zlokolica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vukota","family":"Pekovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikola","family":"Teslic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mustafa","family":"Gunduzalp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","article-title":"MaTeLo: Automated Testing Suite for Software Validation","author":"guiotto","year":"2003","journal-title":"Proceedings of DASIA 2003"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2006.49"},{"key":"ref31","article-title":"Black-box testing: techniques for functional testing of software and systems","author":"beizer","year":"1995"},{"key":"ref30","author":"van osch","year":"0","journal-title":"Automated Model-based Testing of Hybrid Systems"},{"key":"ref37","author":"sayre","year":"1999","journal-title":"Improved Techniques for Software Testing Based on Markov Chain Usage Models"},{"key":"ref36","article-title":"Ma'Telo - Statistical Testing Using Annotated Sequence Diagrams, Markov Chains and TTCN-3","author":"dulz","year":"2003","journal-title":"International Conference on Quality Software"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1999.815651"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2003.1226246"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.5594\/J17663"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2000.854597"},{"key":"ref12","article-title":"System and signal monitoring for IPTV set-top-box systems","author":"karoly","year":"2007","journal-title":"Regional Conference on Embedded and Ambient Systems"},{"key":"ref13","article-title":"Design of module software for IPTV set-top box","author":"xianzhang","year":"2009","journal-title":"IEEE International Conference on Test and Measurement"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2010.5439135"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCE.2010.5523721"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2003.10.002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2003.1261242"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2009.4814414"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.22"},{"key":"ref28","first-page":"93","article-title":"Test automation for Markov Chain Usage Models","volume":"11","author":"bettinotti","year":"2011","journal-title":"Journal of Computer Science & Technology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2005.1429760"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2005.663"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1109\/TCE.2006.1706491","article-title":"Controlling digital TV set-top box with mobile devices via an IP network","volume":"52","author":"lin","year":"2006","journal-title":"IEEE Transactions on Consumer Electronics"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2008.4560117"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/32.328991"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2010.5506036"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2009.69"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2011.6018864"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.861000"},{"key":"ref9","article-title":"Home healthcare settop-box for senior chronic care using ISO\/IEEE 11073 PHD standard","author":"lim","year":"2010","journal-title":"IEEE Eng in Medicine and Biology Soc"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/30.713202"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244311"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2011.6018879"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885882"},{"key":"ref24","article-title":"Practical Model-Based Testing, A Tools Approach","author":"utting","year":"2006"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2011.6018872"},{"key":"ref26","article-title":"Model-Based Test Case Generation for Smart Cards","author":"philipps","year":"0","journal-title":"Elsavier Electronic Notes in Theoretical Computer Science 80 (2003)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.125"}],"container-title":["IEEE Transactions on Consumer Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/30\/6227402\/06227464.pdf?arnumber=6227464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:54Z","timestamp":1642003314000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6227464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":38,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tce.2012.6227464","relation":{},"ISSN":["0098-3063","1558-4127"],"issn-type":[{"value":"0098-3063","type":"print"},{"value":"1558-4127","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}