{"id":"https://openalex.org/W4410536986","doi":"https://doi.org/10.1109/icst62969.2025.10988954","title":"Compiler Fuzzing in Continuous Integration: A Case Study on Dafny","display_name":"Compiler Fuzzing in Continuous Integration: A Case Study on Dafny","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410536986","doi":"https://doi.org/10.1109/icst62969.2025.10988954"},"language":"en","primary_location":{"id":"doi:10.1109/icst62969.2025.10988954","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10988954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10044/1/126326","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117613255","display_name":"Karnbongkot Boonriong","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Karnbongkot Boonriong","raw_affiliation_strings":["Imperial College London,London,UK"],"raw_orcid":"https://orcid.org/0009-0003-6750-6460","affiliations":[{"raw_affiliation_string":"Imperial College London,London,UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004461595","display_name":"Stefan Zetzsche","orcid":null},"institutions":[{"id":"https://openalex.org/I4210123934","display_name":"Amazon (United Kingdom)","ror":"https://ror.org/02xey9634","country_code":"GB","type":"company","lineage":["https://openalex.org/I1311688040","https://openalex.org/I4210123934"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Stefan Zetzsche","raw_affiliation_strings":["Amazon Web Services,London,UK"],"raw_orcid":"https://orcid.org/0009-0001-1304-0613","affiliations":[{"raw_affiliation_string":"Amazon Web Services,London,UK","institution_ids":["https://openalex.org/I4210123934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080781439","display_name":"Alastair F. Donaldson","orcid":"https://orcid.org/0000-0002-7448-7961"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alastair F. Donaldson","raw_affiliation_strings":["Imperial College London,London,UK"],"raw_orcid":"https://orcid.org/0000-0002-7448-7961","affiliations":[{"raw_affiliation_string":"Imperial College London,London,UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2703,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73304884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"441","last_page":"452"},"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.9290000200271606,"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.9290000200271606,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9760414361953735},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7786816954612732},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7668163776397705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6549291610717773},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08315494656562805}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9760414361953735},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7786816954612732},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7668163776397705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6549291610717773},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08315494656562805}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icst62969.2025.10988954","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10988954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/126326","is_oa":true,"landing_page_url":"https://hdl.handle.net/10044/1/126326","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"441","raw_type":"Conference Paper"}],"best_oa_location":{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/126326","is_oa":true,"landing_page_url":"https://hdl.handle.net/10044/1/126326","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"441","raw_type":"Conference Paper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1966021031","https://openalex.org/W2071952624","https://openalex.org/W2080454452","https://openalex.org/W2129942570","https://openalex.org/W2130746431","https://openalex.org/W2155877593","https://openalex.org/W2170737051","https://openalex.org/W2313752879","https://openalex.org/W2370472429","https://openalex.org/W2732888418","https://openalex.org/W2742191951","https://openalex.org/W2759550170","https://openalex.org/W2770103357","https://openalex.org/W2794859654","https://openalex.org/W3008410827","https://openalex.org/W3173506450","https://openalex.org/W4214741785","https://openalex.org/W4238083723","https://openalex.org/W4285586640","https://openalex.org/W4308627603","https://openalex.org/W4312635300","https://openalex.org/W4378418587","https://openalex.org/W4384154483","https://openalex.org/W4385301282","https://openalex.org/W4401905889","https://openalex.org/W6604335577","https://openalex.org/W6636197610","https://openalex.org/W6679342973","https://openalex.org/W6715702266","https://openalex.org/W6728494412","https://openalex.org/W6850154402","https://openalex.org/W6852585181"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"We":[0,109,159],"present":[1,161],"the":[2,13,19,39,50,78,84,116,129,134,138,156,166,190,194,219,234],"design":[3,130],"of":[4,18,41,49,53,131,143,168,175,236],"CompFuzzCI,":[5,132,147],"a":[6,43,58,88,141,162,173,199],"framework":[7],"for":[8,21,67,87,189],"incorporating":[9],"compiler":[10,20,59,192],"fuzzing":[11,45,232],"into":[12],"continuous":[14],"integration":[15],"(CI)":[16],"workflow":[17,52],"Dafny,":[22],"an":[23],"open-source":[24],"programming":[25],"language":[26],"that":[27,101],"is":[28],"increasingly":[29],"used":[30],"in":[31,128,137,155,233],"and":[32,97,125,133,150,193,218],"contributed":[33],"to":[34,57,72,76,82,99,122,178,182,205,213,228],"by":[35],"industry.":[36],"CompFuzzCI":[37,169,186],"explores":[38],"idea":[40],"running":[42],"brief":[44],"campaign":[46],"as":[47],"part":[48],"CI":[51,235],"each":[54],"pull":[55],"request":[56],"project.":[60],"Making":[61],"this":[62],"effective":[63],"involved":[64],"devising":[65],"solutions":[66],"various":[68],"challenges,":[69],"including":[70,231],"how":[71,75,98,111],"deduplicate":[73],"bugs,":[74],"bisect":[77],"project's":[79],"revision":[80],"history":[81],"find":[83,183],"commit":[85],"responsible":[86],"regression":[89,106],"(challenging":[90],"when":[91],"project":[92],"interfaces":[93],"change":[94],"over":[95,170],"time),":[96],"ensure":[100],"fuzz":[102],"testing":[103,107],"complements":[104],"existing":[105],"efforts.":[108],"explain":[110],"we":[112,148],"have":[113],"engaged":[114],"with":[115,146,202,215],"Dafny":[117,157,176,191],"development":[118],"team":[119],"at":[120],"Amazon":[121],"approach":[123],"these":[124],"other":[126,216,237],"problems":[127],"lessons":[135,220],"learned":[136,221],"process.":[139],"As":[140],"by-product":[142],"our":[144,223],"work":[145,214],"found":[149],"reported":[151],"three":[152],"previously-unknown":[153],"bugs":[154],"compiler.":[158],"also":[160],"controlled":[163],"experiment":[164],"simulating":[165],"use":[167],"time":[171],"on":[172],"range":[174],"commits,":[177],"assess":[179],"its":[180,206],"ability":[181],"historic":[184],"bugs.":[185],"prioritises":[187],"support":[188],"fuzz-d":[195],"fuzzer":[196],"but":[197],"has":[198],"generalisable":[200],"design:":[201],"modest":[203],"modification":[204],"internal":[207],"interfaces,":[208],"it":[209],"could":[210],"be":[211,226],"adapted":[212],"fuzzers,":[217],"from":[222],"experience":[224],"will":[225],"relevant":[227],"teams":[229],"considering":[230],"industrial":[238],"software":[239],"projects.":[240]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}