{"id":"https://openalex.org/W3017541286","doi":"https://doi.org/10.1109/tse.2020.2989171","title":"Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software","display_name":"Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software","publication_year":2020,"publication_date":"2020-04-20","ids":{"openalex":"https://openalex.org/W3017541286","doi":"https://doi.org/10.1109/tse.2020.2989171","mag":"3017541286"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2020.2989171","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.2989171","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Software Engineering","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/A5100701610","display_name":"Yu Wang","orcid":"https://orcid.org/0000-0002-7216-6929"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Wang","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-7216-6929","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101597608","display_name":"Fengjuan Gao","orcid":"https://orcid.org/0000-0001-8185-0573"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fengjuan Gao","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-8185-0573","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linzhang Wang","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-4794-1652","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072070511","display_name":"Tingting Yu","orcid":"https://orcid.org/0000-0002-9461-4251"},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tingting Yu","raw_affiliation_strings":["University of Kentucky, Lexington, KY, USA"],"raw_orcid":"https://orcid.org/0000-0002-9461-4251","affiliations":[{"raw_affiliation_string":"University of Kentucky, Lexington, KY, USA","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhua Zhao","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing\u00a0University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8196,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.84807323,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":"48","issue":"1","first_page":"346","last_page":"363"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.9764254093170166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8553757667541504},{"id":"https://openalex.org/keywords/interrupt-handler","display_name":"Interrupt handler","score":0.758660078048706},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.584237813949585},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5535120964050293},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.44290027022361755},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4264228343963623}],"concepts":[{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.9764254093170166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8553757667541504},{"id":"https://openalex.org/C28533478","wikidata":"https://www.wikidata.org/wiki/Q1541162","display_name":"Interrupt handler","level":4,"score":0.758660078048706},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.584237813949585},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5535120964050293},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.44290027022361755},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4264228343963623},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2020.2989171","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.2989171","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G1905943838","display_name":"\u57fa\u4e8e\u7b26\u53f7\u6267\u884c\u7684\u590d\u6742\u8f6f\u4ef6\u7cfb\u7edf\u6d4b\u8bd5\u4e0e\u9a8c\u8bc1\u7814\u7a76","funder_award_id":"61632015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4014587240","display_name":null,"funder_award_id":"2017YFA0700604","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":93,"referenced_works":["https://openalex.org/W57479419","https://openalex.org/W116894366","https://openalex.org/W127597465","https://openalex.org/W309218729","https://openalex.org/W1502602891","https://openalex.org/W1541313361","https://openalex.org/W1548806133","https://openalex.org/W1571371050","https://openalex.org/W1594381772","https://openalex.org/W1710734607","https://openalex.org/W1887412317","https://openalex.org/W1970363544","https://openalex.org/W1972544179","https://openalex.org/W1979693894","https://openalex.org/W1982725024","https://openalex.org/W1994878611","https://openalex.org/W2005335403","https://openalex.org/W2013560272","https://openalex.org/W2025786423","https://openalex.org/W2034256728","https://openalex.org/W2036520154","https://openalex.org/W2059987590","https://openalex.org/W2072419942","https://openalex.org/W2078197548","https://openalex.org/W2083636040","https://openalex.org/W2095416315","https://openalex.org/W2098151336","https://openalex.org/W2100627043","https://openalex.org/W2101161997","https://openalex.org/W2102640269","https://openalex.org/W2105391037","https://openalex.org/W2105794846","https://openalex.org/W2111413199","https://openalex.org/W2112401557","https://openalex.org/W2117184262","https://openalex.org/W2121816623","https://openalex.org/W2123468567","https://openalex.org/W2125038938","https://openalex.org/W2127989655","https://openalex.org/W2132800423","https://openalex.org/W2135395375","https://openalex.org/W2138000960","https://openalex.org/W2148308674","https://openalex.org/W2149237601","https://openalex.org/W2150602145","https://openalex.org/W2150984469","https://openalex.org/W2151585646","https://openalex.org/W2153881107","https://openalex.org/W2154569078","https://openalex.org/W2154903992","https://openalex.org/W2156370972","https://openalex.org/W2158124716","https://openalex.org/W2158449625","https://openalex.org/W2158600037","https://openalex.org/W2170998491","https://openalex.org/W2171480813","https://openalex.org/W2296019735","https://openalex.org/W2374182234","https://openalex.org/W2467090706","https://openalex.org/W2508576555","https://openalex.org/W2530873235","https://openalex.org/W2531260568","https://openalex.org/W2546468634","https://openalex.org/W2735004968","https://openalex.org/W2740343870","https://openalex.org/W2807254136","https://openalex.org/W2914127544","https://openalex.org/W3000423263","https://openalex.org/W3003354073","https://openalex.org/W3006516349","https://openalex.org/W3014461055","https://openalex.org/W3016770733","https://openalex.org/W3023641965","https://openalex.org/W3144922322","https://openalex.org/W3148851051","https://openalex.org/W3149170054","https://openalex.org/W4213079124","https://openalex.org/W4235116491","https://openalex.org/W4237706618","https://openalex.org/W4241222299","https://openalex.org/W4242148730","https://openalex.org/W4245550931","https://openalex.org/W4247660350","https://openalex.org/W4247946980","https://openalex.org/W4254906220","https://openalex.org/W6602319118","https://openalex.org/W6629930635","https://openalex.org/W6637688222","https://openalex.org/W6639248035","https://openalex.org/W6639456316","https://openalex.org/W6682018898","https://openalex.org/W6724810736","https://openalex.org/W7062416784"],"related_works":["https://openalex.org/W2391783641","https://openalex.org/W2543878428","https://openalex.org/W2349471271","https://openalex.org/W2505144121","https://openalex.org/W2359206530","https://openalex.org/W315297852","https://openalex.org/W2163626079","https://openalex.org/W2602599056","https://openalex.org/W2382264333","https://openalex.org/W2904693149"],"abstract_inverted_index":{"Interrupt-driven":[0],"programs":[1,150],"are":[2],"widely":[3],"deployed":[4],"in":[5,23,57,89,152],"safety-critical":[6],"embedded":[7,91,149],"systems":[8,25],"to":[9,30,33,54,69,103,117,126,138],"perform":[10],"hardware":[11,70],"and":[12,38,48,85,100,163],"resource":[13],"dependent":[14],"data":[15,106],"operation":[16],"tasks.":[17],"The":[18,155],"frequent":[19],"use":[20],"of":[21,97],"interrupts":[22,125],"these":[24,120],"can":[26,82,160],"cause":[27],"race":[28,65,87,166],"conditions":[29,88],"occur":[31,127],"due":[32],"interactions":[34],"between":[35],"application":[36],"tasks":[37],"interrupt":[39,43],"handlers":[40],"(or":[41],"two":[42],"handlers).":[44],"Numerous":[45],"program":[46],"analysis":[47,99],"testing":[49],"techniques":[50],"have":[51],"been":[52],"proposed":[53],"detect":[55,162],"races":[56,121],"multithreaded":[58],"programs.":[59],"Little":[60],"work,":[61],"however,":[62],"has":[63],"addressed":[64],"condition":[66],"problems":[67],"related":[68],"interrupts.":[71],"In":[72],"this":[73],"paper,":[74],"we":[75],"present":[76],"SDRacer,":[77],"an":[78],"automated":[79],"framework":[80],"that":[81,158],"detect,":[83],"validate":[84,119],"repair":[86,136],"interrupt-driven":[90],"software.":[92],"It":[93,112],"uses":[94],"a":[95],"combination":[96],"static":[98],"symbolic":[101],"execution":[102],"generate":[104],"input":[105],"for":[107],"exercising":[108],"the":[109,124,129,140],"potential":[110,130],"races.":[111,142],"then":[113],"employs":[114],"virtual":[115],"platforms":[116],"dynamically":[118],"by":[122],"forcing":[123],"at":[128],"racing":[131],"points.":[132],"Finally,":[133],"it":[134],"provides":[135],"candidates":[137],"eliminate":[139],"detected":[141],"We":[143],"evaluate":[144],"SDRacer":[145,159],"on":[146],"nine":[147],"real-world":[148],"written":[151],"C":[153],"language.":[154],"results":[156],"show":[157],"precisely":[161],"successfully":[164],"fix":[165],"conditions.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}