{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T15:15:17Z","timestamp":1781622917465,"version":"3.54.5"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Institute of Information and Communications Technology Planning and Evaluation"},{"name":"Korean Government (MSIT)","award":["2019-0-00426"],"award-info":[{"award-number":["2019-0-00426"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.2976718","type":"journal-article","created":{"date-parts":[[2020,2,27]],"date-time":"2020-02-27T22:16:57Z","timestamp":1582841817000},"page":"43111-43121","source":"Crossref","is-referenced-by-count":25,"title":["AUTOCON-IoT: Automated and Scalable Online Conformance Testing for IoT Applications"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1426-7086","authenticated-orcid":false,"given":"Jaeyoung","family":"Hwang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4684-4682","authenticated-orcid":false,"given":"Abdullah","family":"Aziz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nakmyoung","family":"Sung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5923-1271","authenticated-orcid":false,"given":"Abbas","family":"Ahmad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8467-0017","authenticated-orcid":false,"given":"Franck","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2157-9651","authenticated-orcid":false,"given":"Jaeseung","family":"Song","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/FiCloud.2018.00022"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI.2017.335"},{"key":"ref33","year":"2016"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2014.6845045"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.6109\/jicce.2014.12.4.228"},{"key":"ref30","first-page":"27","article-title":"Titan, TTCN-3 test execution environment","volume":"62","author":"szab\u00f3","year":"2007","journal-title":"Infocommun J"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.23919\/CISTI.2017.7975873"},{"key":"ref36","year":"2017"},{"key":"ref35","year":"2017"},{"key":"ref34","year":"2017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/0470017317"},{"key":"ref27","year":"2019","journal-title":"TTCN-3 Core Language"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00249-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2444095"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90087-0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24732-6_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SIIT.2003.1251206"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230467"},{"key":"ref26","first-page":"61","article-title":"Towards formal test purposes","volume":"1","author":"de vries","year":"2001","journal-title":"Proc Formal Approaches Test Softw (FATES)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SIIT.2003.1251206"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2017.03.004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-011-0288-5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.132"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-013-0480-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2007.4342835"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00316-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1364148"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2004.836136"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2007.344595"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2893493"},{"key":"ref19","first-page":"70","article-title":"IoT testing—The big challenge why, what and how","author":"sand","year":"2015","journal-title":"International Internet of Things Summit"},{"key":"ref4","first-page":"124","volume":"14","author":"blockstrand","year":"2011","journal-title":"More than 50 Billion Connected Devices"},{"key":"ref3","first-page":"1","volume":"1","author":"evans","year":"2011","journal-title":"The Internet of Things How the next Evolution of the Internet Is Changing Everything"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2017.04.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38082-2_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FIT.2012.53"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.12.018"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.09.059"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2012.02.016"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2017.108"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.23919\/CISTI.2019.8760848"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/DESSERT.2018.8409185"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227131"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00247-3_29"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2013.66"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2018.00087"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2017.59"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09016258.pdf?arnumber=9016258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T01:08:13Z","timestamp":1641949693000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9016258\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/access.2020.2976718","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}