{"id":"https://openalex.org/W2953461934","doi":"https://doi.org/10.1109/jiot.2019.2925291","title":"Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs","display_name":"Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs","publication_year":2019,"publication_date":"2019-06-26","ids":{"openalex":"https://openalex.org/W2953461934","doi":"https://doi.org/10.1109/jiot.2019.2925291","mag":"2953461934"},"language":"en","primary_location":{"id":"doi:10.1109/jiot.2019.2925291","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2019.2925291","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011235038","display_name":"Yuxia Sun","orcid":"https://orcid.org/0000-0002-5959-0629"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxia Sun","raw_affiliation_strings":["Department of Computer Science, Jinan University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-5959-0629","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shing-Chi Cheung","raw_affiliation_strings":["Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-3508-7172","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043464306","display_name":"Song Guo","orcid":"https://orcid.org/0000-0001-9831-2202"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Song Guo","raw_affiliation_strings":["Department of Computing, Hong Kong Polytechnic, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-9831-2202","affiliations":[{"raw_affiliation_string":"Department of Computing, Hong Kong Polytechnic, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019737682","display_name":"Ming Cheng","orcid":"https://orcid.org/0000-0001-6332-2443"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Cheng","raw_affiliation_strings":["Department of Computer Science, Jinan University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":0.4926,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.71819193,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"6","issue":"5","first_page":"8945","last_page":"8957"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/daemon","display_name":"Daemon","score":0.9321192502975464},{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.8983711004257202},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8980416059494019},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8045867681503296},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.462912380695343},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.44439947605133057},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41439539194107056},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3360497057437897},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3302665650844574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16550087928771973},{"id":"https://openalex.org/keywords/microcontroller","display_name":"Microcontroller","score":0.14864829182624817}],"concepts":[{"id":"https://openalex.org/C2777253204","wikidata":"https://www.wikidata.org/wiki/Q308980","display_name":"Daemon","level":2,"score":0.9321192502975464},{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.8983711004257202},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8980416059494019},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8045867681503296},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.462912380695343},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.44439947605133057},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41439539194107056},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3360497057437897},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3302665650844574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16550087928771973},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.14864829182624817},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/jiot.2019.2925291","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2019.2925291","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-100575","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=2327-4662&rft.volume=v. 6&rft.issue=(5)&rft.date=2019&rft.spage=8945&rft.aulast=Sun&rft.aufirst=Y.&rft.atitle=Disclosing+and+Locating+Concurrency+Bugs+of+Interrupt-Driven+IoT+Programs&rft.title=IEEE+Internet+of+Things+Journal","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:repository.ust.hk:1783.1-100575","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-100575","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1808308080","display_name":null,"funder_award_id":"R5034-18","funder_id":"https://openalex.org/F4320307285","funder_display_name":"Impact Fund"},{"id":"https://openalex.org/G5178219846","display_name":"\u793e\u4ea4\u7f51\u7edc\u7528\u6237\u65f6\u6001\u5c5e\u6027\u53ca\u65f6\u6001\u5173\u7cfb\u6a21\u578b\u7814\u7a76","funder_award_id":"61772211","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7111805306","display_name":"\u9762\u5411\u8fb9\u7f18\u667a\u80fd\u7684\u8d44\u6e90\u914d\u7f6e\u4e0e\u90e8\u7f72\u4f18\u5316\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61872310","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G857956640","display_name":null,"funder_award_id":"61402197","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320307285","display_name":"Impact Fund","ror":"https://ror.org/00jb20j87"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W317521241","https://openalex.org/W1966098267","https://openalex.org/W1971903460","https://openalex.org/W1972544179","https://openalex.org/W1974008590","https://openalex.org/W1979823412","https://openalex.org/W1984378865","https://openalex.org/W1995128353","https://openalex.org/W2030836134","https://openalex.org/W2039915473","https://openalex.org/W2053175947","https://openalex.org/W2055643465","https://openalex.org/W2058230131","https://openalex.org/W2062200967","https://openalex.org/W2095416315","https://openalex.org/W2100370222","https://openalex.org/W2101274757","https://openalex.org/W2106812189","https://openalex.org/W2109031898","https://openalex.org/W2134164054","https://openalex.org/W2137270184","https://openalex.org/W2137422315","https://openalex.org/W2137464085","https://openalex.org/W2149298504","https://openalex.org/W2153229512","https://openalex.org/W2160978874","https://openalex.org/W2162446957","https://openalex.org/W2171427043","https://openalex.org/W2314026552","https://openalex.org/W2318956585","https://openalex.org/W2335309042","https://openalex.org/W2342048762","https://openalex.org/W2343874908","https://openalex.org/W2567642374","https://openalex.org/W2573848005","https://openalex.org/W2578214075","https://openalex.org/W2596636257","https://openalex.org/W2603630878","https://openalex.org/W2617064781","https://openalex.org/W2725962824","https://openalex.org/W2735004968","https://openalex.org/W2763061619","https://openalex.org/W2781419930","https://openalex.org/W2804240489","https://openalex.org/W2804624337","https://openalex.org/W2913523018","https://openalex.org/W2914275755","https://openalex.org/W2962804067","https://openalex.org/W2963790596","https://openalex.org/W3136887963","https://openalex.org/W4213165937","https://openalex.org/W6740291116"],"related_works":["https://openalex.org/W2375183653","https://openalex.org/W2043486348","https://openalex.org/W2090419612","https://openalex.org/W4230130155","https://openalex.org/W4239600814","https://openalex.org/W2505144121","https://openalex.org/W1993245031","https://openalex.org/W2150179797","https://openalex.org/W2170147831","https://openalex.org/W4242696047"],"abstract_inverted_index":{"The":[0],"Internet":[1],"of":[2,19,32,70,81,123,148],"Things":[3],"(IoT)":[4],"is":[5,133,150],"envisioned":[6],"as":[7],"a":[8,79,113],"distributed":[9],"network":[10,22],"formed":[11],"by":[12,60],"many":[13],"end":[14,27],"devices,":[15],"e.g.,":[16],"the":[17,87,109,153,157,166],"motes":[18],"wireless":[20],"sensor":[21],"(WSN).":[23],"These":[24],"important":[25],"IoT":[26,125],"devices":[28,46],"enable":[29],"ubiquitous":[30],"sensing":[31],"environments":[33],"and":[34,50,103,119,138,164],"provide":[35],"reliable":[36],"services":[37],"for":[38],"mission-critical":[39],"applications.":[40],"However,":[41],"programs":[42,126],"running":[43],"on":[44,128],"WSN":[45,143],"are":[47,57],"typically":[48],"interrupt-driven":[49,124],"prone":[51],"to":[52,85,91,96,135],"interrupt-induced":[53],"concurrency":[54,88,121,140,161],"bugs,":[55],"which":[56],"primarily":[58],"caused":[59],"erroneous":[61],"interleavings":[62],"among":[63,94],"interrupt":[64,71],"procedure":[65],"instances":[66],"(IPIs)":[67],"(namely,":[68],"executions":[69],"processing":[72],"logic).":[73],"In":[74],"this":[75],"paper,":[76],"we":[77],"use":[78],"set":[80],"dynamic":[82,114,129],"bug":[83,111,130],"patterns":[84,131],"characterize":[86],"bugs":[89,122,141,162],"due":[90],"buggy":[92,167],"access-interleavings":[93],"IPIs":[95],"shared":[97,100,104],"resources,":[98],"including":[99],"memory":[101],"locations":[102],"communication":[105],"channels.":[106],"By":[107],"matching":[108],"above":[110],"patterns,":[112],"analysis":[115],"approach":[116],"called":[117],"disclosing":[118],"locating":[120],"based":[127],"(Daemon)":[132],"proposed":[134],"automatically":[136],"detect":[137],"locate":[139,165],"in":[142],"programs.":[144],"A":[145],"GUI":[146],"tool":[147,158],"Daemon":[149],"developed.":[151],"As":[152],"empirical":[154],"studies":[155],"exhibit,":[156],"can":[159],"discover":[160],"effectively":[163],"source":[168],"lines":[169],"visually.":[170]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}