{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:34:16Z","timestamp":1784342056768,"version":"3.55.0"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61402197"],"award-info":[{"award-number":["61402197"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772211"],"award-info":[{"award-number":["61772211"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872310"],"award-info":[{"award-number":["61872310"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100003012","name":"Impact Fund","doi-asserted-by":"publisher","award":["R5034-18"],"award-info":[{"award-number":["R5034-18"]}],"id":[{"id":"10.13039\/100003012","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Province Science and Technology Plan Project in China","award":["2017A040405030"],"award-info":[{"award-number":["2017A040405030"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/jiot.2019.2925291","type":"journal-article","created":{"date-parts":[[2019,6,26]],"date-time":"2019-06-26T20:19:13Z","timestamp":1561580353000},"page":"8945-8957","source":"Crossref","is-referenced-by-count":6,"title":["Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5959-0629","authenticated-orcid":false,"given":"Yuxia","family":"Sun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3508-7172","authenticated-orcid":false,"given":"Shing-Chi","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9831-2202","authenticated-orcid":false,"given":"Song","family":"Guo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ming","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2530290"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2542815"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2004.1381912"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/958503.958506"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5637"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065919"},{"key":"ref37","article-title":"Targeted property-based testing with applications in sensor networks","author":"l\u00f6scher","year":"2018"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2489253.2489255"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/2807698","article-title":"Dynamic logging with dylog in networked embedded systems","volume":"15","author":"dong","year":"2016","journal-title":"ACM Trans Embedded Comput Syst"},{"key":"ref34","first-page":"180","article-title":"Testbed assisted control flow tracing for wireless embedded systems","author":"lim","year":"2017","journal-title":"Proc Int Conf Embedded Wireless Syst Netw"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483792"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"ref28","author":"yu","year":"2017","journal-title":"A Survey of Wireless Sensor Network Simulation Tools"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453115"},{"key":"ref29","author":"kamph","year":"2017","journal-title":"Dynamic Invariant Detection for Sensor Network Application"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4304\/jcm.6.6.424-438"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2683200"},{"key":"ref20","year":"2017","journal-title":"Avrora CVS Repository"},{"key":"ref22","year":"2019","journal-title":"Balenaos"},{"key":"ref21","year":"2019","journal-title":"An Overview of Windows 10 IoT"},{"key":"ref24","author":"barry","year":"2019","journal-title":"FreeRTOS A FREE open source RTOS for small embedded real time systems"},{"key":"ref23","year":"2019","journal-title":"Contiki the Open Source Os for the Internet of Things"},{"key":"ref26","year":"2019","journal-title":"Nano-RK"},{"key":"ref25","year":"2019","journal-title":"RIOT"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336780"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786839"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368120"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594322"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048073"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668017"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941573"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626609"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/953593"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2900769"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.75"},{"key":"ref13","author":"zhou","year":"2012","journal-title":"T-Morph Revealing Buggy Behaviors of TinyOS Applications via Rule Mining and Visualization"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2013.02371"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27139-2_7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.05.010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2641638.2641652"},{"key":"ref18","year":"2017","journal-title":"Avrora The AVR simulation and analysis framework"},{"key":"ref19","year":"2017","journal-title":"The GNU Binary Utilities"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-017-9403-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1988051.1988060"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2016.1600399CM"},{"key":"ref5","year":"2014","journal-title":"Internet of Things Wireless Sensor Networks"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2505901"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238760"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.28"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2759725"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115634"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.04.054"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2707089"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092724"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053014"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.02.051"},{"key":"ref43","first-page":"264","article-title":"Towards formal verification of contiki: Analysis of the AES–CCM* modules with frama-C","author":"peyrard","year":"2018","journal-title":"Proc EWSN"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6488907\/8863548\/08746139.pdf?arnumber=8746139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:45:59Z","timestamp":1657745159000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8746139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":61,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2019.2925291","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"value":"2327-4662","type":"electronic"},{"value":"2372-2541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}