{"id":"https://openalex.org/W2235911515","doi":"https://doi.org/10.1007/s10703-015-0240-5","title":"Abstraction and mining of traces to explain concurrency bugs","display_name":"Abstraction and mining of traces to explain concurrency bugs","publication_year":2016,"publication_date":"2016-01-04","ids":{"openalex":"https://openalex.org/W2235911515","doi":"https://doi.org/10.1007/s10703-015-0240-5","mag":"2235911515"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-015-0240-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-015-0240-5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10703-015-0240-5.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10703-015-0240-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088336171","display_name":"Mitra Tabaei Befrouei","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Mitra Tabaei\u00a0Befrouei","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100406893","display_name":"Chao Wang","orcid":"https://orcid.org/0000-0001-7717-447X"},"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 Polytechnic Institute and State University, Blacksburg, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Polytechnic Institute and State University, Blacksburg, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017958562","display_name":"Georg Wei\u00dfenbacher","orcid":"https://orcid.org/0000-0002-0143-632X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Georg Weissenbacher","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088336171"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":2.762,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.91586918,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"49","issue":"1-2","first_page":"1","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.998199999332428,"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/concurrency","display_name":"Concurrency","score":0.8116573691368103},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7098862528800964},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5348355770111084},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4902954399585724}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8116573691368103},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7098862528800964},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5348355770111084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4902954399585724},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-015-0240-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-015-0240-5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10703-015-0240-5.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:repositum.tuwien.ac.at:1744306","is_oa":true,"landing_page_url":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-2760","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s10703-015-0240-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-015-0240-5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10703-015-0240-5.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2512157488","display_name":null,"funder_award_id":"VRG11-005","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G7052333967","display_name":null,"funder_award_id":"S11403-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8285482943","display_name":null,"funder_award_id":"CCF-1149454","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2235911515.pdf","grobid_xml":"https://content.openalex.org/works/W2235911515.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W40911479","https://openalex.org/W82576189","https://openalex.org/W137192327","https://openalex.org/W148530648","https://openalex.org/W333365564","https://openalex.org/W1502049067","https://openalex.org/W1574060188","https://openalex.org/W1584003909","https://openalex.org/W1600980603","https://openalex.org/W1676985236","https://openalex.org/W1877496576","https://openalex.org/W1972544179","https://openalex.org/W1983572666","https://openalex.org/W2023304911","https://openalex.org/W2049772950","https://openalex.org/W2077085538","https://openalex.org/W2088270410","https://openalex.org/W2089237839","https://openalex.org/W2101161997","https://openalex.org/W2102640269","https://openalex.org/W2111759889","https://openalex.org/W2115015193","https://openalex.org/W2122182354","https://openalex.org/W2126635355","https://openalex.org/W2133697637","https://openalex.org/W2134164054","https://openalex.org/W2135948849","https://openalex.org/W2137270184","https://openalex.org/W2137955133","https://openalex.org/W2138916466","https://openalex.org/W2146606092","https://openalex.org/W2147694185","https://openalex.org/W2149984854","https://openalex.org/W2153229512","https://openalex.org/W2155772078","https://openalex.org/W2157888439","https://openalex.org/W2158395308","https://openalex.org/W2159856414","https://openalex.org/W2603514790","https://openalex.org/W2913202392","https://openalex.org/W3017319410","https://openalex.org/W3023364199","https://openalex.org/W4235116491","https://openalex.org/W4238341133","https://openalex.org/W4243324871","https://openalex.org/W4254829975","https://openalex.org/W4293763691"],"related_works":["https://openalex.org/W2056977125","https://openalex.org/W1589913369","https://openalex.org/W2788685475","https://openalex.org/W1557800075","https://openalex.org/W4233783224","https://openalex.org/W2151898527","https://openalex.org/W2808750505","https://openalex.org/W3160136729","https://openalex.org/W2083338789","https://openalex.org/W1894736207"],"abstract_inverted_index":{"We":[0,10,96,183],"propose":[1],"an":[2,111,144],"automated":[3],"mining-based":[4],"method":[5],"for":[6,58],"explaining":[7],"concurrency":[8,51,59],"bugs.":[9,199],"use":[11],"a":[12,35,55,66,168,188],"data":[13],"mining":[14,19,133],"technique":[15,39,146],"called":[16],"sequential":[17,131],"pattern":[18,132],"to":[20,30,47,175],"identify":[21],"problematic":[22],"sequences":[23,75,101],"of":[24,34,50,68,90,102,113,130,139,154,180,190],"concurrent":[25,69],"read":[26],"and":[27,82],"write":[28],"accesses":[29],"the":[31,88,98,114,124,128,137,140,149,152,173,181],"shared":[32],"memory":[33],"multithreaded":[36],"program.":[37],"Our":[38],"does":[40],"not":[41],"rely":[42],"on":[43,87,177],"any":[44],"characteristics":[45],"specific":[46],"one":[48],"type":[49],"bug,":[52],"thus":[53],"providing":[54],"general":[56],"framework":[57],"bug":[60],"explanation.":[61],"In":[62],"our":[63,185],"method,":[64],"given":[65],"set":[67],"execution":[70,125],"traces,":[71,141],"we":[72,142],"first":[73],"mine":[74],"that":[76,104],"frequently":[77,106],"occur":[78,105],"in":[79,93,108,123],"failing":[80,109],"traces":[81,110,150],"then":[83,165],"rank":[84],"them":[85],"based":[86],"number":[89,189],"their":[91],"occurrences":[92],"passing":[94],"traces.":[95,126],"consider":[97],"highly":[99],"ranked":[100],"events":[103],"only":[107],"explanation":[112],"system":[115],"failure,":[116],"as":[117,159,161,195,197],"they":[118],"can":[119],"reveal":[120],"its":[121],"causes":[122,179],"Since":[127],"scalability":[129],"is":[134],"limited":[135],"by":[136,167],"length":[138],"present":[143],"abstraction":[145],"which":[147],"shortens":[148],"at":[151],"cost":[153],"introducing":[155],"spurious":[156],"explanations.":[157],"Spurious":[158],"well":[160,196],"misleading":[162],"explanations":[163],"are":[164],"eliminated":[166],"subsequent":[169],"filtering":[170],"step,":[171],"helping":[172],"programmer":[174],"focus":[176],"likely":[178],"failure.":[182],"validate":[184],"approach":[186],"using":[187],"case":[191],"studies,":[192],"including":[193],"synthetic":[194],"real-world":[198]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}