{"id":"https://openalex.org/W2508374411","doi":"https://doi.org/10.1145/2970276.2970307","title":"Radius aware probabilistic testing of deadlocks with guarantees","display_name":"Radius aware probabilistic testing of deadlocks with guarantees","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2508374411","doi":"https://doi.org/10.1145/2970276.2970307","mag":"2508374411"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970307","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","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/A5019924930","display_name":"Yan Cai","orcid":"https://orcid.org/0000-0002-4768-0272"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yan Cai","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087186760","display_name":"Zijiang Yang","orcid":"https://orcid.org/0000-0001-6469-5217"},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zijiang Yang","raw_affiliation_strings":["Western Michigan University, USA"],"affiliations":[{"raw_affiliation_string":"Western Michigan University, USA","institution_ids":["https://openalex.org/I141649380"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019924930"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":1.2507,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.80954057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"356","last_page":"367"},"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.9998999834060669,"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.9998999834060669,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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.8241150379180908},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7740118503570557},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7254676222801208},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.6893905401229858},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.591437041759491},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5624562501907349},{"id":"https://openalex.org/keywords/radius","display_name":"RADIUS","score":0.4933103621006012},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46636518836021423},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.44851991534233093},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41810142993927},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4177492558956146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32363182306289673},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2042696475982666},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14223268628120422},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12908580899238586},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08035397529602051},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.07636988162994385}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8241150379180908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7740118503570557},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7254676222801208},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.6893905401229858},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.591437041759491},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5624562501907349},{"id":"https://openalex.org/C178635117","wikidata":"https://www.wikidata.org/wiki/Q747499","display_name":"RADIUS","level":2,"score":0.4933103621006012},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46636518836021423},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.44851991534233093},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41810142993927},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4177492558956146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32363182306289673},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2042696475982666},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14223268628120422},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12908580899238586},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08035397529602051},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.07636988162994385}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2970307","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2021695478","display_name":null,"funder_award_id":"61502465, 91418206, 61472318","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7604074498","display_name":null,"funder_award_id":"DGE-1522883, CCF-1500365","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/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W82132563","https://openalex.org/W1541313361","https://openalex.org/W1548806133","https://openalex.org/W1587449012","https://openalex.org/W1591458180","https://openalex.org/W1604551772","https://openalex.org/W1862182621","https://openalex.org/W1873898332","https://openalex.org/W1887412317","https://openalex.org/W1967959506","https://openalex.org/W1974042116","https://openalex.org/W1979866694","https://openalex.org/W1980689777","https://openalex.org/W2013560272","https://openalex.org/W2017269495","https://openalex.org/W2030750940","https://openalex.org/W2039528863","https://openalex.org/W2049962250","https://openalex.org/W2057572737","https://openalex.org/W2063644419","https://openalex.org/W2067406339","https://openalex.org/W2076195478","https://openalex.org/W2085539279","https://openalex.org/W2091543666","https://openalex.org/W2093101674","https://openalex.org/W2097576663","https://openalex.org/W2100627043","https://openalex.org/W2101161997","https://openalex.org/W2102659010","https://openalex.org/W2104831091","https://openalex.org/W2105794846","https://openalex.org/W2108637333","https://openalex.org/W2110852599","https://openalex.org/W2111413199","https://openalex.org/W2112274482","https://openalex.org/W2112401557","https://openalex.org/W2116737258","https://openalex.org/W2119494620","https://openalex.org/W2125038938","https://openalex.org/W2127825616","https://openalex.org/W2132294215","https://openalex.org/W2132613390","https://openalex.org/W2132800423","https://openalex.org/W2134633067","https://openalex.org/W2135948849","https://openalex.org/W2145124323","https://openalex.org/W2145373440","https://openalex.org/W2148011508","https://openalex.org/W2159812975","https://openalex.org/W2159856414","https://openalex.org/W2164022236","https://openalex.org/W2164726526","https://openalex.org/W2167744164","https://openalex.org/W2169623872","https://openalex.org/W2169712903","https://openalex.org/W2170998491","https://openalex.org/W2283246674","https://openalex.org/W2380139570","https://openalex.org/W4210712189","https://openalex.org/W4239813889","https://openalex.org/W4254906220","https://openalex.org/W6639456316"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W4253571630","https://openalex.org/W2001478969","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W2133697637","https://openalex.org/W2340131066","https://openalex.org/W2358822739","https://openalex.org/W4231261802","https://openalex.org/W2361416822"],"abstract_inverted_index":{"Concurrency":[0],"bugs":[1],"only":[2],"occur":[3,84],"under":[4],"certain":[5],"interleaving.":[6],"Existing":[7],"randomized":[8],"techniques":[9],"are":[10],"usually":[11,57,83],"ineffective.":[12],"PCT":[13,38,158],"innovatively":[14],"generates":[15],"scheduling,":[16],"before":[17],"executing":[18],"a":[19,31,81,86,108,163,214],"program,":[20],"based":[21],"on":[22,112,162,188],"priori-ties":[23],"and":[24,63,65,157,159,238],"priority":[25,130],"change":[26,42,131],"points.":[27],"Hence,":[28,145],"it":[29,146],"provides":[30],"probabilistic":[32],"guarantee":[33],"to":[34,70,98,150,203,222],"trigger":[35,151],"concurrency":[36,53,109],"bugs.":[37,54],"randomly":[39],"selects":[40,129],"prior-ity":[41],"points":[43,132],"among":[44,142],"all":[45,143,179,231],"events,":[46],"which":[47],"might":[48],"be":[49,71],"effective":[50],"for":[51,123],"non-deadlock":[52],"However,":[55],"deadlocks":[56,139,180],"in-volve":[58],"two":[59,78,105],"or":[60],"more":[61,67],"threads":[62],"locks,":[64],"require":[66],"ordering":[68],"constraints":[69],"triggered.":[72],"We":[73,89,153,194],"interestingly":[74],"observe":[75],"that,":[76],"every":[77,104],"events":[79,106],"of":[80,103,107,136,165,213,230],"deadlock":[82,215],"within":[85,133],"short":[87],"range.":[88],"gener-ally":[90],"formulate":[91],"this":[92],"range":[93],"as":[94],"the":[95,100,113,134,137,211,228],"bug":[96,114],"Radius,":[97],"denote":[99],"max":[101],"dis-tance":[102],"bug.":[110],"Based":[111],"radius,":[115],"we":[116],"propose":[117],"RPro":[118,128,156,177,197,240],"(Radius":[119],"aware":[120],"Probabilistic":[121],"testing)":[122],"triggering":[124],"deadlocks.":[125,171],"Unlike":[126],"PCT,":[127],"radius":[135,199,212],"targeted":[138],"but":[140],"not":[141],"events.":[144,232],"guarantees":[147],"larger":[148,187],"probabilities":[149,183],"dead-locks.":[152],"have":[154],"implemented":[155],"evaluated":[160,196],"them":[161],"set":[164],"real-world":[166],"benchmarks":[167],"containing":[168],"10":[169],"unique":[170],"The":[172,207],"experimental":[173],"results":[174],"show":[175],"that":[176,191,210],"triggered":[178],"with":[181,198],"higher":[182],"(i.e.,":[184,219],">7.7x":[185],"times":[186],"average)":[189],"than":[190,227],"by":[192],"PCT.":[193],"also":[195],"varying":[200],"from":[201,220],"1":[202],"150":[204],"(or":[205],"300).":[206],"result":[208],"shows":[209],"is":[216],"much":[217],"smaller":[218],"2":[221],"114":[223],"in":[224,242],"our":[225,236],"experiment)":[226],"num-ber":[229],"This":[233],"further":[234],"confirms":[235],"observation":[237],"makes":[239],"meaningful":[241],"practice.":[243]},"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":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}