{"id":"https://openalex.org/W4415005358","doi":"https://doi.org/10.1145/3763060","title":"Model-Guided Fuzzing of Distributed Systems","display_name":"Model-Guided Fuzzing of Distributed Systems","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4415005358","doi":"https://doi.org/10.1145/3763060"},"language":"en","primary_location":{"id":"doi:10.1145/3763060","doi":"https://doi.org/10.1145/3763060","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763060","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763060","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,"listed_in":["ccf-c","cwts-core","dongbi-b","jufo-1","norway-1","poland-20","russia-white-list-1","vabb-shw"],"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"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3763060","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029801451","display_name":"Berkay Gulcan","orcid":"https://orcid.org/0000-0003-1237-0829","observed_orcids":["https://orcid.org/0000-0003-1237-0829"]},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ege Berkay Gulcan","raw_affiliation_strings":["Delft University of Technology, Delft, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-1237-0829","affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019138419","display_name":"Burcu Kulahcioglu Ozkan","orcid":"https://orcid.org/0000-0002-7038-165X","observed_orcids":["https://orcid.org/0000-0002-7038-165X"]},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Burcu Kulahcioglu Ozkan","raw_affiliation_strings":["Delft University of Technology, Delft, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-7038-165X","affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542","observed_orcids":["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, Kaiserslautern, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2136-0542","affiliations":[{"raw_affiliation_string":"MPI-SWS, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046025269","display_name":"Srinidhi Nagendra","orcid":"https://orcid.org/0000-0002-7171-5543","observed_orcids":["https://orcid.org/0000-0002-7171-5543"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I19149307","display_name":"Chennai Mathematical Institute","ror":"https://ror.org/04zp24820","country_code":"IN","type":"education","lineage":["https://openalex.org/I19149307"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210117673","display_name":"Institut de Recherche en Informatique Fondamentale","ror":"https://ror.org/02krdtz55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971"]}],"countries":["FR","IN"],"is_corresponding":false,"raw_author_name":"Srinidhi Nagendra","raw_affiliation_strings":["Chennai Mathematical Institute, Chennai, India","IRIF - CNRS - Universit\u00e9 Paris Cit\u00e9, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-7171-5543","affiliations":[{"raw_affiliation_string":"Chennai Mathematical Institute, Chennai, India","institution_ids":["https://openalex.org/I19149307"]},{"raw_affiliation_string":"IRIF - CNRS - Universit\u00e9 Paris Cit\u00e9, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210117673"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.9237,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.94924105,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"274","last_page":"301"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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":9.999999747378752e-05,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0,"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/coverage-guided-testing","display_name":"coverage-guided testing","score":0.9449999928474426},{"id":"https://openalex.org/keywords/distributed-systems-testing","display_name":"distributed systems testing","score":0.8479999899864197},{"id":"https://openalex.org/keywords/tla","display_name":"TLA+","score":0.9070000052452087},{"id":"https://openalex.org/keywords/model-coverage","display_name":"model coverage","score":0.7170000076293945},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"mutation testing","score":0.871999979019165},{"id":"https://openalex.org/keywords/distributed-consensus-protocols","display_name":"distributed consensus protocols","score":0.8849999904632568},{"id":"https://openalex.org/keywords/two-phase-commit","display_name":"two-phase commit","score":0.9290000200271606},{"id":"https://openalex.org/keywords/raft","display_name":"RAFT","score":0.9829999804496765},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.8389999866485596}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8705999851226807},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7971000075340271},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.744700014591217},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.6700999736785889},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.5760999917984009},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.54339998960495},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4731999933719635},{"id":"https://openalex.org/C101722063","wikidata":"https://www.wikidata.org/wiki/Q218825","display_name":"Random access","level":2,"score":0.4189999997615814},{"id":"https://openalex.org/C111009948","wikidata":"https://www.wikidata.org/wiki/Q1067690","display_name":"Two-phase commit protocol","level":5,"score":0.37929999828338623},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.37229999899864197},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.36660000681877136},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.35670000314712524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3555000126361847},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.34599998593330383},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.314300000667572},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2847999930381775},{"id":"https://openalex.org/C2983222225","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus algorithm","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2831999957561493},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C201866948","wikidata":"https://www.wikidata.org/wiki/Q228206","display_name":"Random number generation","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.27140000462532043},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.26759999990463257},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C70061542","wikidata":"https://www.wikidata.org/wiki/Q989016","display_name":"Distributed database","level":2,"score":0.2540999948978424}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3763060","doi":"https://doi.org/10.1145/3763060","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763060","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763060","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,"listed_in":["ccf-c","cwts-core","dongbi-b","jufo-1","norway-1","poland-20","russia-white-list-1","vabb-shw"],"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:arXiv.org:2410.02307","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.02307","pdf_url":"https://arxiv.org/pdf/2410.02307","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2410.02307","doi":"https://doi.org/10.48550/arxiv.2410.02307","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2410.02307","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3763060","doi":"https://doi.org/10.1145/3763060","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763060","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3763060","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,"listed_in":["ccf-c","cwts-core","dongbi-b","jufo-1","norway-1","poland-20","russia-white-list-1","vabb-shw"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415005358.pdf","grobid_xml":"https://content.openalex.org/works/W4415005358.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W166348628","https://openalex.org/W1526710119","https://openalex.org/W1527729106","https://openalex.org/W1965335252","https://openalex.org/W1972433423","https://openalex.org/W1972978214","https://openalex.org/W1973938051","https://openalex.org/W2023718005","https://openalex.org/W2087019828","https://openalex.org/W2111413199","https://openalex.org/W2113027907","https://openalex.org/W2114823082","https://openalex.org/W2125047630","https://openalex.org/W2135395375","https://openalex.org/W2268325898","https://openalex.org/W2327265941","https://openalex.org/W2535617737","https://openalex.org/W2734941459","https://openalex.org/W2757104921","https://openalex.org/W2898333178","https://openalex.org/W2928702109","https://openalex.org/W2961870034","https://openalex.org/W2979636764","https://openalex.org/W2981593401","https://openalex.org/W2995309440","https://openalex.org/W2996406784","https://openalex.org/W3003678351","https://openalex.org/W3011718251","https://openalex.org/W3031474432","https://openalex.org/W3047947484","https://openalex.org/W3099713549","https://openalex.org/W3101498506","https://openalex.org/W3101845936","https://openalex.org/W3107502392","https://openalex.org/W3121301634","https://openalex.org/W3126774311","https://openalex.org/W3200051529","https://openalex.org/W3200756997","https://openalex.org/W3204018925","https://openalex.org/W3207926955","https://openalex.org/W4226163636","https://openalex.org/W4232306982","https://openalex.org/W4282576055","https://openalex.org/W4284706927","https://openalex.org/W4308641890","https://openalex.org/W4324367810","https://openalex.org/W4362677131","https://openalex.org/W4372259572","https://openalex.org/W4379537666","https://openalex.org/W4383898425","https://openalex.org/W4384155490","https://openalex.org/W4384155618","https://openalex.org/W4384302765","https://openalex.org/W4388858992","https://openalex.org/W4394998872","https://openalex.org/W4398239130","https://openalex.org/W4403159818","https://openalex.org/W4403223030","https://openalex.org/W4404706408","https://openalex.org/W6968308349"],"related_works":["https://openalex.org/W4372273036","https://openalex.org/W7114791856","https://openalex.org/W4408749823","https://openalex.org/W3108973374","https://openalex.org/W4403159818","https://openalex.org/W4372259572","https://openalex.org/W4398239130","https://openalex.org/W4401842864","https://openalex.org/W4324105879","https://openalex.org/W7214721851"],"abstract_inverted_index":{"We":[0,52,74],"present":[1],"a":[2,77],"coverage-guided":[3],"testing":[4,50],"algorithm":[5,90],"for":[6,79],"distributed":[7,80,122],"systems":[8],"implementations.":[9],"Our":[10,89],"main":[11],"innovation":[12],"is":[13,25],"the":[14,22,37,70,130],"use":[15],"of":[16,21,40,107,121,152],"an":[17],"abstract":[18,31,84],"formal":[19],"model":[20,60],"system":[23,81],"that":[24,54],"used":[26,48],"to":[27],"define":[28],"coverage.":[29],"Such":[30],"models":[32,85],"are":[33,46],"frequently":[34],"developed":[35],"in":[36,65,69,87,133,148],"early":[38],"phases":[39],"protocol":[41],"design":[42],"and":[43,83,110,129,135,137],"verification":[44],"but":[45],"infrequently":[47],"at":[49],"time.":[51],"show":[53,115],"guiding":[55],"random":[56,96,101],"test":[57],"generation":[58],"using":[59],"coverage":[61,93,109,118],"can":[62],"be":[63,156],"effective":[64],"covering":[66],"interesting":[67],"points":[68],"implementation":[71],"state":[72],"space.":[73],"have":[75],"implemented":[76],"fuzzer":[78],"implementations":[82,120,132],"written":[86],"TLA+.":[88],"achieves":[91],"better":[92],"over":[94],"purely":[95],"exploration":[97,102],"as":[98,100,126],"well":[99],"guided":[103],"by":[104,158],"different":[105],"notions":[106],"scheduler":[108],"mutation.":[111],"In":[112],"particular,":[113],"we":[114,142],"consistently":[116],"higher":[117],"on":[119],"consensus":[123],"protocols":[124],"such":[125],"Two-Phase":[127],"Commit":[128],"Raft":[131],"Etcd-raft":[134],"RedisRaft":[136],"detect":[138],"bugs":[139,147],"faster.":[140],"Moreover,":[141],"discovered":[143],"12":[144],"previously":[145],"unknown":[146],"their":[149],"implementations,":[150],"four":[151],"which":[153],"could":[154],"only":[155],"detected":[157],"model-guided":[159],"fuzzing.":[160]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2025-10-10T00:00:00"}