{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:19:09Z","timestamp":1764937149902,"version":"3.37.3"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100014809","name":"Technology Agency of the Czech Republic","doi-asserted-by":"publisher","award":["TH02010296"],"award-info":[{"award-number":["TH02010296"]}],"id":[{"id":"10.13039\/100014809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Consumer Electron."],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1109\/tce.2020.2986049","type":"journal-article","created":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T20:49:13Z","timestamp":1586378953000},"page":"134-143","source":"Crossref","is-referenced-by-count":20,"title":["Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach"],"prefix":"10.1109","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2994-7826","authenticated-orcid":false,"given":"Miroslav","family":"Bures","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Macik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9051-7609","authenticated-orcid":false,"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vaclav","family":"Rechtberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Slavik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02686-8_20"},{"key":"ref10","first-page":"323","article-title":"Healthcare application of smart home user’s behavior prediction","author":"vavilov","year":"2014","journal-title":"Proc IEEE Int Conf Consum Electron (ICCE)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2014.7031232"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SIU.2015.7130181"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/0144929X.2011.603360"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.5772\/5920"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480320"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2010.12.001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2003.1260228"},{"journal-title":"Ten usability heuristics","year":"1995","author":"nielsen","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2694880"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2016.7613198"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_19"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICOSST.2017.8279002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2015.7298086"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2017.2717910"},{"key":"ref5","first-page":"1009","article-title":"Home appliances controlling through smart TV set-top box with screen-mirroring remote controller","author":"kim","year":"2013","journal-title":"Proc Int Conf ICT Converg (ICTC)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2006.1649659"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2013.65"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20895-4_29"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/BTS.2018.8550959"},{"journal-title":"A Practical Guide to Usability Testing","year":"1999","author":"dumas","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2109205.2109208"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.77"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2003.1287256"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CSNT.2014.236"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"journal-title":"Systems and Software Verification Model-Checking Techniques and Tools","year":"2013","author":"b\u00e9rard","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"}],"container-title":["IEEE Transactions on Consumer Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/30\/9076769\/09060876.pdf?arnumber=9060876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:14:41Z","timestamp":1651068881000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9060876\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":31,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tce.2020.2986049","relation":{},"ISSN":["0098-3063","1558-4127"],"issn-type":[{"type":"print","value":"0098-3063"},{"type":"electronic","value":"1558-4127"}],"subject":[],"published":{"date-parts":[[2020,5]]}}}