{"id":"https://openalex.org/W2013560272","doi":"https://doi.org/10.1145/2771783.2771798","title":"ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs","display_name":"ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs","publication_year":2015,"publication_date":"2015-07-10","ids":{"openalex":"https://openalex.org/W2013560272","doi":"https://doi.org/10.1145/2771783.2771798","mag":"2013560272"},"language":"en","primary_location":{"id":"doi:10.1145/2771783.2771798","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","raw_type":"proceedings-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/A5033633241","display_name":"Sepideh Khoshnood","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sepideh Khoshnood","raw_affiliation_strings":["Virginia Tech, USA","Virginia Tech, USA,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Tech, USA,","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015928385","display_name":"Markus Kusano","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Markus Kusano","raw_affiliation_strings":["Virginia Tech, USA","Virginia Tech, USA,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Tech, USA,","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100406950","display_name":"Chao Wang","orcid":"https://orcid.org/0000-0002-1560-6182"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao Wang","raw_affiliation_strings":["Virginia Tech, USA","Virginia Tech, USA,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Tech, USA,","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":21.1238,"has_fulltext":false,"cited_by_count":57,"citation_normalized_percentile":{"value":0.99537323,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"165","last_page":"176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8621528148651123},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.805557131767273},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.746703028678894},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.670056939125061},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6277158856391907},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5340029001235962},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5254120826721191},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.473458468914032},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.44216105341911316},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.431826114654541},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4234340488910675},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3958357572555542}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8621528148651123},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.805557131767273},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.746703028678894},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.670056939125061},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6277158856391907},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5340029001235962},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5254120826721191},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.473458468914032},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.44216105341911316},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.431826114654541},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4234340488910675},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3958357572555542},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"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.1145/2771783.2771798","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W333365564","https://openalex.org/W962129127","https://openalex.org/W1480909796","https://openalex.org/W1504670841","https://openalex.org/W1545731027","https://openalex.org/W1547931701","https://openalex.org/W1562679818","https://openalex.org/W1602156367","https://openalex.org/W1896363143","https://openalex.org/W1923082132","https://openalex.org/W1967959506","https://openalex.org/W1979349468","https://openalex.org/W1983402337","https://openalex.org/W1983572666","https://openalex.org/W2016206563","https://openalex.org/W2023330258","https://openalex.org/W2025055834","https://openalex.org/W2036093091","https://openalex.org/W2040127143","https://openalex.org/W2040900440","https://openalex.org/W2043512166","https://openalex.org/W2048355938","https://openalex.org/W2052844069","https://openalex.org/W2059057465","https://openalex.org/W2060345611","https://openalex.org/W2067967561","https://openalex.org/W2084719450","https://openalex.org/W2091543666","https://openalex.org/W2100627043","https://openalex.org/W2101161997","https://openalex.org/W2110279000","https://openalex.org/W2112401557","https://openalex.org/W2115732097","https://openalex.org/W2119826996","https://openalex.org/W2122735631","https://openalex.org/W2127825616","https://openalex.org/W2133270475","https://openalex.org/W2137270184","https://openalex.org/W2137422315","https://openalex.org/W2137723287","https://openalex.org/W2138567239","https://openalex.org/W2147506993","https://openalex.org/W2154038545","https://openalex.org/W2169611673","https://openalex.org/W2251207443","https://openalex.org/W2293756656","https://openalex.org/W2993781365","https://openalex.org/W4205784557","https://openalex.org/W4210712189","https://openalex.org/W4240558819","https://openalex.org/W4242838928","https://openalex.org/W4247966332","https://openalex.org/W4285719527","https://openalex.org/W6829691558"],"related_works":["https://openalex.org/W1601811574","https://openalex.org/W2527368155","https://openalex.org/W2151898527","https://openalex.org/W1887412317","https://openalex.org/W2120724409","https://openalex.org/W4233347627","https://openalex.org/W2155506281","https://openalex.org/W2344847417","https://openalex.org/W2040481815","https://openalex.org/W4284678181"],"abstract_inverted_index":{"Programmers":[0],"often":[1,43],"have":[2,147],"to":[3,18,35,61,70,125],"spend":[4],"a":[5,23,26,54,95,100,153],"significant":[6],"amount":[7],"of":[8,22,46,66,90,104,138],"time":[9],"in-":[10],"specting":[11],"the":[12,20,36,42,64,88,105],"software":[13,122,154],"code":[14,127],"and":[15,41,69,75,94,142,156],"execution":[16],"traces":[17],"identify":[19],"cause":[21],"bug.":[24],"For":[25],"multithreaded":[27,165],"program,":[28],"debugging":[29],"is":[30,117],"even":[31],"more":[32],"challenging":[33],"due":[34],"subtle":[37],"interactions":[38],"between":[39],"threads":[40],"astronomical":[44],"number":[45],"interleavings.":[47],"In":[48],"this":[49],"work,":[50],"we":[51],"pro-":[52],"pose":[53],"logical":[55],"constraint":[56,80,114],"based":[57,115],"symbolic":[58],"analysis":[59,116],"method":[60,151],"aid":[62],"in":[63,152,160,164],"diagnosis":[65,74],"concurrency":[67,131],"bugs":[68,163],"recommend":[71],"repairs.":[72],"Both":[73],"repair":[76],"are":[77],"formulated":[78],"as":[79,108,110,134],"solving":[81],"prob-":[82],"lems.":[83],"Our":[84],"method,":[85],"by":[86],"leveraging":[87],"power":[89],"satisfiability":[91],"(SAT)":[92],"solvers":[93],"bounded":[96],"model":[97],"checker,":[98],"performs":[99],"semantic":[101],"analy-":[102],"sis":[103],"sequential":[106],"computation":[107],"well":[109],"thread":[111],"interactions.":[112],"The":[113],"designed":[118],"for":[119],"handling":[120],"critical":[121],"with":[123],"small":[124],"medium":[126],"size,":[128],"but":[129],"complex":[130],"control,":[132],"such":[133],"device":[135],"drivers,":[136],"implementations":[137],"synchronization":[139],"proto-":[140],"cols,":[141],"concurrent":[143],"data":[144],"structures.":[145],"We":[146],"implemented":[148],"our":[149],"new":[150],"tool":[155],"demonstrated":[157],"its":[158],"effectiveness":[159],"di-":[161],"agnosing":[162],"C":[166],"programs.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":14},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":3}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}