{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T17:22:53Z","timestamp":1764350573902},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/icstw50294.2020.00026","type":"proceedings-article","created":{"date-parts":[[2020,8,4]],"date-time":"2020-08-04T22:06:13Z","timestamp":1596578773000},"page":"62-73","source":"Crossref","is-referenced-by-count":10,"title":["An Automated Testing Framework For Smart TV apps Based on Model Separation"],"prefix":"10.1109","author":[{"given":"Bestoun S.","family":"Ahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Bures","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/B978-0-12-800160-8.00002-4"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/2109205.2109208"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/WCRE.2012.27"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/SIU.2015.7130181"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/GCCE.2014.7031232"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TCE.2006.1649659"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/CVPRW.2013.65"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ICCE.2014.6776025"},{"key":"ref18","first-page":"1009","article-title":"Home appliances controlling through smart tv set-top box with screen-mirroring remote controller","author":"kim","year":"0","journal-title":"2013 International Conference on ICT Convergence (ICTC)"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TCE.2015.7298086"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/MS.2014.55"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.jss.2016.03.065"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-030-02686-8_20"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/s10515-013-0128-9"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1177\/154193129303701514"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TCE.2019.2907017"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.is.2014.02.001"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/WCRE.2003.1287256"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.infsof.2013.03.004"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ACCESS.2017.2694880"},{"year":"2017","author":"murgrabia","journal-title":"Design Considerations for VEWD App Store Applications","key":"ref22"},{"year":"2016","author":"sabina","journal-title":"Defining a testing platform for smart tv applications","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1002\/stvr.308"},{"year":"2018","author":"papadakis","journal-title":"Mutation testing advances An analysis and survey","key":"ref23"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1016\/j.ipl.2018.01.008"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1016\/j.infsof.2016.04.012"}],"event":{"name":"2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2020,10,24]]},"location":"Porto, Portugal","end":{"date-parts":[[2020,10,28]]}},"container-title":["2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9146896\/9155545\/09155798.pdf?arnumber=9155798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:21:03Z","timestamp":1656375663000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9155798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icstw50294.2020.00026","relation":{},"subject":[],"published":{"date-parts":[[2020,10]]}}}