{"id":"https://openalex.org/W4378676670","doi":"https://doi.org/10.1109/icstw58534.2023.00039","title":"Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations","display_name":"Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations","publication_year":2023,"publication_date":"2023-04-01","ids":{"openalex":"https://openalex.org/W4378676670","doi":"https://doi.org/10.1109/icstw58534.2023.00039"},"language":"en","primary_location":{"id":"doi:10.1109/icstw58534.2023.00039","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icstw58534.2023.00039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5037684272","display_name":"Chang-Hui Bae","orcid":"https://orcid.org/0009-0004-4793-0579"},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Chang-Hui Bae","raw_affiliation_strings":["Gyeongsang National University,Dept. of AI Convergence Engineering,Jinju,Republic of Korea","Dept. of AI Convergence Engineering, Gyeongsang National University, Jinju, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gyeongsang National University,Dept. of AI Convergence Engineering,Jinju,Republic of Korea","institution_ids":["https://openalex.org/I189442560"]},{"raw_affiliation_string":"Dept. of AI Convergence Engineering, Gyeongsang National University, Jinju, Republic of Korea","institution_ids":["https://openalex.org/I189442560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060652814","display_name":"Eu-Teum Choi","orcid":"https://orcid.org/0000-0001-9957-2938"},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Euteum Choi","raw_affiliation_strings":["Research Center for Aircraft Parts Technology Gyeongsang National Univ,Jinju,Republic of Korea","Research Center for Aircraft Parts Technology Gyeongsang National Univ, Jinju, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Center for Aircraft Parts Technology Gyeongsang National Univ,Jinju,Republic of Korea","institution_ids":["https://openalex.org/I189442560"]},{"raw_affiliation_string":"Research Center for Aircraft Parts Technology Gyeongsang National Univ, Jinju, Republic of Korea","institution_ids":["https://openalex.org/I189442560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054853623","display_name":"Yong-Kee Jun","orcid":"https://orcid.org/0000-0002-4753-3651"},"institutions":[{"id":"https://openalex.org/I189442560","display_name":"Gyeongsang National University","ror":"https://ror.org/00saywf64","country_code":"KR","type":"education","lineage":["https://openalex.org/I189442560"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yong-Kee Jun","raw_affiliation_strings":["Gyeongsang National Univ,Dept. of Aerospace Software Engineering,Jinju,Republic of Korea","Dept. of Aerospace Software Engineering, Gyeongsang National Univ, Jinju, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gyeongsang National Univ,Dept. of Aerospace Software Engineering,Jinju,Republic of Korea","institution_ids":["https://openalex.org/I189442560"]},{"raw_affiliation_string":"Dept. of Aerospace Software Engineering, Gyeongsang National Univ, Jinju, Republic of Korea","institution_ids":["https://openalex.org/I189442560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017878694","display_name":"Ok-Kyoon Ha","orcid":"https://orcid.org/0000-0002-6512-8502"},"institutions":[{"id":"https://openalex.org/I4210145313","display_name":"Kyungwoon University","ror":"https://ror.org/050384c29","country_code":"KR","type":"education","lineage":["https://openalex.org/I4210145313"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Ok-Kyoon Ha","raw_affiliation_strings":["Kyungwoon University,School of Software,Gumi,Republic of Korea","School of Software, Kyungwoon University, Gumi, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kyungwoon University,School of Software,Gumi,Republic of Korea","institution_ids":["https://openalex.org/I4210145313"]},{"raw_affiliation_string":"School of Software, Kyungwoon University, Gumi, Republic of Korea","institution_ids":["https://openalex.org/I4210145313"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2088,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.35533981,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"89","issue":null,"first_page":"165","last_page":"171"},"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.9994999766349792,"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.9994999766349792,"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.9994000196456909,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/atomicity","display_name":"Atomicity","score":0.993116021156311},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7976381182670593},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7471800446510315},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.6097022891044617},{"id":"https://openalex.org/keywords/multivariable-calculus","display_name":"Multivariable calculus","score":0.5127443075180054},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49339213967323303},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.460989773273468},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3960706889629364},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15277868509292603},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.07004058361053467}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.993116021156311},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7976381182670593},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7471800446510315},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.6097022891044617},{"id":"https://openalex.org/C117312493","wikidata":"https://www.wikidata.org/wiki/Q2035437","display_name":"Multivariable calculus","level":2,"score":0.5127443075180054},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49339213967323303},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.460989773273468},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3960706889629364},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15277868509292603},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.07004058361053467},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icstw58534.2023.00039","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icstw58534.2023.00039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1488480972","https://openalex.org/W1982125317","https://openalex.org/W2072062729","https://openalex.org/W2153185479","https://openalex.org/W2157888439","https://openalex.org/W2171008784","https://openalex.org/W2344916214","https://openalex.org/W2618896829","https://openalex.org/W2886377087","https://openalex.org/W3003689949","https://openalex.org/W3009678450","https://openalex.org/W3142284768","https://openalex.org/W4233497262","https://openalex.org/W4252681483","https://openalex.org/W4253120409","https://openalex.org/W4253914806","https://openalex.org/W6660305404","https://openalex.org/W6697099624","https://openalex.org/W6738918353","https://openalex.org/W6785679169"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2133697637","https://openalex.org/W4253571630","https://openalex.org/W2019062800","https://openalex.org/W2899146177","https://openalex.org/W2167421399","https://openalex.org/W2837991191","https://openalex.org/W1873898332","https://openalex.org/W2616010075","https://openalex.org/W1507160831"],"abstract_inverted_index":{"Testing":[0],"to":[1,25,58,84],"detect":[2],"on-the-fly":[3],"concurrency":[4],"errors,":[5],"such":[6],"as":[7,70,75],"atomicity":[8,42,69,108,147],"violations":[9,43,148],"caused":[10],"by":[11,132,150],"multiple":[12],"shared":[13],"variables,":[14],"in":[15,49],"a":[16,55,60,71,85,94,124],"multi-threaded":[17],"program":[18,45],"is":[19,47],"challenging":[20],"because":[21],"of":[22,63,96,103,119,142],"the":[23,101,104,116,120,128,140,145,151],"need":[24],"consider":[26],"various":[27],"factors,":[28],"including":[29],"correlations":[30],"between":[31],"variables":[32,65],"and":[33,74,88,123,134],"access":[34],"event":[35],"interleaving.":[36],"An":[37],"improved":[38],"method":[39,53,80],"for":[40],"detecting":[41,143],"during":[44],"execution":[46,102,129],"presented":[48],"this":[50],"study.":[51],"This":[52,78,137],"applies":[54],"straightforward":[56],"approach":[57],"recognize":[59],"substantial":[61],"number":[62],"related":[64],"that":[66,99,113],"make":[67],"up":[68],"single":[72],"group":[73],"one":[76],"variable.":[77],"enhanced":[79],"was":[81],"implemented,":[82],"similarly":[83],"test":[86,121],"tool,":[87],"experimental":[89],"comparisons":[90],"were":[91],"performed":[92],"using":[93],"set":[95],"synthetic":[97],"programs":[98,122],"modeled":[100],"seven":[105],"representative":[106],"multivariable":[107,146],"violations.":[109],"The":[110],"results":[111],"showed":[112],"compared":[114],"with":[115],"original":[117],"run":[118],"state-of-the-art":[125],"detection":[126],"method,":[127],"time":[130],"increased":[131],"1.07":[133],"1.05,":[135],"respectively.":[136],"result":[138],"included":[139],"accuracy":[141],"all":[144],"undetected":[149],"prior":[152],"method.":[153]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}