{"id":"https://openalex.org/W2979636764","doi":"https://doi.org/10.1145/3360606","title":"Trace aware random testing for distributed systems","display_name":"Trace aware random testing for distributed systems","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2979636764","doi":"https://doi.org/10.1145/3360606","mag":"2979636764"},"language":"en","primary_location":{"id":"doi:10.1145/3360606","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360606","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360606","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3360606","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019138419","display_name":"Burcu Kulahcioglu Ozkan","orcid":"https://orcid.org/0000-0002-7038-165X"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Burcu Kulahcioglu Ozkan","raw_affiliation_strings":["MPI-SWS, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SWS, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rupak Majumdar","raw_affiliation_strings":["MPI-SWS, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SWS, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062307238","display_name":"Simin Oraee","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simin Oraee","raw_affiliation_strings":["MPI-SWS, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SWS, Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019138419"],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":null,"apc_paid":null,"fwci":0.9884,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.78781513,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"3","issue":"OOPSLA","first_page":"1","last_page":"29"},"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/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/T10260","display_name":"Software Engineering Research","score":0.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.8053064346313477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7861337065696716},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.6188168525695801},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.5305524468421936},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5112793445587158},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4884311258792877},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4518066644668579},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4408141076564789},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.41418391466140747},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.41114506125450134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39022302627563477},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35307371616363525},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.34448739886283875},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3019307851791382},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.19296583533287048},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1502639353275299},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1445217728614807},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13122624158859253}],"concepts":[{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.8053064346313477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7861337065696716},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.6188168525695801},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.5305524468421936},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5112793445587158},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4884311258792877},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4518066644668579},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4408141076564789},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.41418391466140747},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.41114506125450134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39022302627563477},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35307371616363525},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34448739886283875},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3019307851791382},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.19296583533287048},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1502639353275299},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1445217728614807},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13122624158859253},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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.1145/3360606","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360606","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360606","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:pure.mpg.de:item_3213239","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0005-D8F2-6","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3360606","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360606","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360606","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3053408357","display_name":null,"funder_award_id":"389792660 as part of TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3280535232","display_name":null,"funder_award_id":"610150","funder_id":"https://openalex.org/F4320338352","funder_display_name":"FP7 Ideas: European Research Council"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6024419964","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320338352","display_name":"FP7 Ideas: European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2979636764.pdf","grobid_xml":"https://content.openalex.org/works/W2979636764.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W45951652","https://openalex.org/W111534223","https://openalex.org/W147489498","https://openalex.org/W1493367105","https://openalex.org/W1527197079","https://openalex.org/W1527729106","https://openalex.org/W1529497146","https://openalex.org/W1568729458","https://openalex.org/W1591717411","https://openalex.org/W1638978760","https://openalex.org/W1847696060","https://openalex.org/W1972917397","https://openalex.org/W1976507378","https://openalex.org/W2008078972","https://openalex.org/W2010805714","https://openalex.org/W2011447890","https://openalex.org/W2065675749","https://openalex.org/W2087019828","https://openalex.org/W2093709900","https://openalex.org/W2109213558","https://openalex.org/W2109819183","https://openalex.org/W2110059387","https://openalex.org/W2110852599","https://openalex.org/W2115015193","https://openalex.org/W2131062488","https://openalex.org/W2135948849","https://openalex.org/W2148011508","https://openalex.org/W2158124716","https://openalex.org/W2163903931","https://openalex.org/W2169870841","https://openalex.org/W2172078515","https://openalex.org/W2268325898","https://openalex.org/W2298805283","https://openalex.org/W2327265941","https://openalex.org/W2528919074","https://openalex.org/W2604985896","https://openalex.org/W2734336505","https://openalex.org/W2747419197","https://openalex.org/W2777404089","https://openalex.org/W2884199446","https://openalex.org/W2898333178","https://openalex.org/W2898709589","https://openalex.org/W2898988288","https://openalex.org/W2934650114","https://openalex.org/W2948686875","https://openalex.org/W4230480080","https://openalex.org/W4254906220"],"related_works":["https://openalex.org/W1973954352","https://openalex.org/W1573151257","https://openalex.org/W1523442991","https://openalex.org/W1545972740","https://openalex.org/W1546995467","https://openalex.org/W1965309410","https://openalex.org/W2906490148","https://openalex.org/W1868864221","https://openalex.org/W1791159949","https://openalex.org/W3147623613"],"abstract_inverted_index":{"Distributed":[0],"and":[1,113,144,236,333,335,346],"concurrent":[2,325],"applications":[3],"often":[4,44],"have":[5,69],"subtle":[6,344],"bugs":[7,95,168,345],"that":[8,166,215,302,337],"only":[9,147,190,290],"get":[10],"exposed":[11,170],"under":[12],"specific":[13,55],"schedules.":[14,205],"While":[15],"these":[16],"schedules":[17,143,188],"may":[18],"be":[19],"found":[20],"by":[21,137,171,253],"systematic":[22],"model":[23,28,82],"checking":[24,83],"techniques,":[25,122],"in":[26,241,342],"practice,":[27],"checkers":[29],"do":[30],"not":[31],"scale":[32],"to":[33,52,58,106,189],"large":[34,48,309],"systems.":[35],"On":[36],"the":[37,54,74,86,91,108,163,172,184,199,217,242,248,266,274,287,293,303],"other":[38],"hand,":[39,76],"naive":[40],"random":[41,66,212,243,321,350],"exploration":[42,130],"techniques":[43,101],"require":[45],"a":[46,60,176,255,270,278,308],"very":[47],"number":[49,178,294],"of":[50,93,96,131,175,179,187,194,203,219,250,276,280,295,311],"runs":[51],"find":[53],"interactions":[56],"needed":[57],"expose":[59],"bug.":[61],"In":[62,222],"recent":[63],"years,":[64],"several":[65,238,319],"testing":[67,213,244,322,351],"algorithms":[68,117,240],"been":[70],"proposed":[71],"that,":[72],"on":[73,85,90,119,142,156,273,327],"one":[75,148],"exploit":[77,102,162],"state-space":[78],"reduction":[79,112],"strategies":[80,105],"from":[81,150],"and,":[84],"other,":[87],"provide":[88,226],"guarantees":[89],"probability":[92,275,283],"hitting":[94],"certain":[97],"kinds.":[98],"These":[99],"existing":[100],"two":[103,328],"orthogonal":[104],"reduce":[107],"state":[109],"space:":[110],"partial-order":[111],"bug":[114,157],"depth.":[115],"Testing":[116],"based":[118,155],"partial":[120],"order":[121],"such":[123,159,227],"as":[124,160],"RAPOS":[125],"or":[126],"POS,":[127],"ensure":[128],"non-redundant":[129],"independent":[132],"interleavings":[133],"among":[134,261,307],"system":[135],"events":[136,262,297],"imposing":[138],"an":[139,228],"equivalence":[140,152],"relation":[141],"ideally":[145],"exploring":[146],"schedule":[149,256],"each":[151],"class.":[153],"Techniques":[154],"depth,":[158,196],"PCT,":[161],"empirical":[164],"observation":[165],"many":[167],"are":[169],"clever":[173],"scheduling":[174],"small":[177,195],"key":[180],"events.":[181],"They":[182],"bias":[183],"sample":[185],"space":[186,202,249],"cover":[191],"all":[192,204],"executions":[193,252],"rather":[197],"than":[198],"much":[200],"larger":[201],"At":[206],"this":[207,223],"point,":[208],"there":[209],"is":[210,305,340],"no":[211],"algorithm":[214,267,317],"combines":[216],"power":[218],"both":[220],"approaches.":[221],"paper,":[224],"we":[225],"algorithm.":[229],"Our":[230],"algorithm,":[231],"trace-aware":[232],"PCT":[233],"(taPCTCP),":[234],"extends":[235],"unifies":[237],"different":[239],"literature.":[245],"It":[246],"samples":[247],"low-depth":[251],"constructing":[254],"online,":[257],"while":[258],"taking":[259],"dependencies":[260],"into":[263],"account.":[264],"Moreover,":[265],"comes":[268],"with":[269,286,292,318],"theoretical":[271],"guarantee":[272,304],"sampling":[277],"trace":[279],"low":[281],"depth---the":[282],"grows":[284],"exponentially":[285],"depth":[288],"but":[289],"polynomially":[291],"racy":[296],"explored.":[298],"We":[299,313],"further":[300],"show":[301,336],"optimal":[306],"class":[310],"techniques.":[312],"empirically":[314],"compare":[315],"our":[316,338],"state-of-the-art":[320],"approaches":[323],"for":[324],"software":[326],"large-scale":[329],"distributed":[330],"systems,":[331],"Zookeeper":[332],"Cassandra,":[334],"approach":[339],"effective":[341],"uncovering":[343],"usually":[347],"outperforms":[348],"related":[349],"algorithms.":[352]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}