{"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":1784342056522,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61802017,62192730"],"award-info":[{"award-number":["61802017,62192730"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB4501900"],"award-info":[{"award-number":["2022YFB4501900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598140","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1345-1356","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software"],"prefix":"10.1145","author":[{"given":"Chao","family":"Li","sequence":"first","affiliation":[{"name":"Beijing Institute of Control Engineering, China \/ Beijing Sunwise Information Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rui","family":"Chen","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China \/ Beijing Sunwise Information Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Boxiang","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China \/ Beijing Sunwise Information Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhixuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Xidian University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tingting","family":"Yu","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China \/ Beijing Sunwise Information Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yunsong","family":"Jiang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China \/ Beijing Sunwise Information Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Gu","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mengfei","family":"Yang","sequence":"additional","affiliation":[{"name":"China Academy of Space Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_31"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00073"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.13328\/j.cnki.jos.004980"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17184-1_25"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2012.01.058"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C51114.2020.00084"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781169"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9385-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9385-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754305_33"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/icmit.2012.6225838"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368120"},{"key":"e_1_3_2_1_14_1","volume-title":"Embedded systems design","author":"Heath Steve","unstructured":"Steve Heath . 2002. Embedded systems design . Elsevier . Steve Heath. 2002. Embedded systems design. Elsevier."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1539"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-015-0363-8"},{"key":"e_1_3_2_1_17_1","volume-title":"Presented as part of the 10th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 12). 221\u2013236.","author":"Jin Guoliang","unstructured":"Guoliang Jin , Wei Zhang , and Dongdong Deng . 2012. Automated concurrency-bug fixing . In Presented as part of the 10th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 12). 221\u2013236. Guoliang Jin, Wei Zhang, and Dongdong Deng. 2012. Automated concurrency-bug fixing. In Presented as part of the 10th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 12). 221\u2013236."},{"key":"e_1_3_2_1_18_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Kim Taegyu","year":"2021","unstructured":"Taegyu Kim , Vireshwar Kumar , Junghwan Rhee , Jizhou Chen , Kyungtae Kim , Chung Hwan Kim , Dongyan Xu , and Dave Jing Tian . 2021 . $PASAN$: Detecting Peripheral Access Concurrency Bugs within $Bare-Metal$ Embedded Applications . In 30th USENIX Security Symposium (USENIX Security 21) . 249\u2013266. Taegyu Kim, Vireshwar Kumar, Junghwan Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, and Dave Jing Tian. 2021. $PASAN$: Detecting Peripheral Access Concurrency Bugs within $Bare-Metal$ Embedded Applications. In 30th USENIX Security Symposium (USENIX Security 21). 249\u2013266."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534412"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446756"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_25_1","unstructured":"China Academy of Space Technology. 2017. Guidebook for Embedded Software Interrupt Analysis. \t\t\t\t  China Academy of Space Technology. 2017. Guidebook for Embedded Software Interrupt Analysis."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.85"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1523"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254095"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/hase.2007.67"},{"key":"e_1_3_2_1_32_1","unstructured":"China Academy of Space Technology Software Product Assurance Center. 2015. Analysis Report on Software Quality Problems of China Academy of Space Technology. \t\t\t\t  China Academy of Space Technology Software Product Assurance Center. 2015. Analysis Report on Software Quality Problems of China Academy of Space Technology."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/qrs-c.2019.00034"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2018.00024"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115634"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00302-9_6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304069"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543295"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_27"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115663"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.1599419"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.5160"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092724"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS51672.2020.00025"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2013.33"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2372233.2372240"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735971.1736041"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598140","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:59Z","timestamp":1750178279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":47,"alternative-id":["10.1145\/3597926.3598140","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598140","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}