{"id":"https://openalex.org/W4394769544","doi":"https://doi.org/10.1145/3597503.3639121","title":"Fuzz4All: Universal Fuzzing with Large Language Models","display_name":"Fuzz4All: Universal Fuzzing with Large Language Models","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394769544","doi":"https://doi.org/10.1145/3597503.3639121"},"language":"en","primary_location":{"id":"doi:10.1145/3597503.3639121","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597503.3639121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5075857263","display_name":"Chunqiu Steven Xia","orcid":"https://orcid.org/0000-0001-8660-9324"},"institutions":[{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chunqiu Steven Xia","raw_affiliation_strings":["UIUC, Urbana, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0001-8660-9324","affiliations":[{"raw_affiliation_string":"UIUC, Urbana, Illinois, USA","institution_ids":["https://openalex.org/I183874917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045763891","display_name":"Matteo Paltenghi","orcid":"https://orcid.org/0000-0003-2266-453X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matteo Paltenghi","raw_affiliation_strings":["University of Stuttgart, Stuttgart, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2266-453X","affiliations":[{"raw_affiliation_string":"University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047307486","display_name":"Jia Le Tian","orcid":"https://orcid.org/0000-0002-3778-5812"},"institutions":[{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jia Le Tian","raw_affiliation_strings":["UIUC, Urbana, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0002-3778-5812","affiliations":[{"raw_affiliation_string":"UIUC, Urbana, Illinois, USA","institution_ids":["https://openalex.org/I183874917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["University of Stuttgart, Stuttgart, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1623-498X","affiliations":[{"raw_affiliation_string":"University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043546718","display_name":"Lingming Zhang","orcid":"https://orcid.org/0000-0001-5175-2702"},"institutions":[{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingming Zhang","raw_affiliation_strings":["UIUC, Urbana, Illinois, USA"],"raw_orcid":"https://orcid.org/0000-0001-5175-2702","affiliations":[{"raw_affiliation_string":"UIUC, Urbana, Illinois, USA","institution_ids":["https://openalex.org/I183874917"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":172,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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.9977999925613403,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9828701019287109},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9046378135681152},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6648166179656982},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6199946999549866},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4692646861076355},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.44302263855934143},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.42599743604660034},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4201662242412567},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34527575969696045},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3384628891944885}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9828701019287109},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9046378135681152},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6648166179656982},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6199946999549866},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4692646861076355},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.44302263855934143},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.42599743604660034},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4201662242412567},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34527575969696045},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3384628891944885}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597503.3639121","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597503.3639121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2414932747","display_name":null,"funder_award_id":"CCF-2131943","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3697065897","display_name":null,"funder_award_id":"CCF-2141474","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1988524530","https://openalex.org/W2583649498","https://openalex.org/W2808279976","https://openalex.org/W2903762116","https://openalex.org/W2904932877","https://openalex.org/W2930957955","https://openalex.org/W2950911860","https://openalex.org/W2964241064","https://openalex.org/W3007855180","https://openalex.org/W3033381073","https://openalex.org/W3034071395","https://openalex.org/W3049735680","https://openalex.org/W3093870681","https://openalex.org/W3098605233","https://openalex.org/W3107362213","https://openalex.org/W3124323960","https://openalex.org/W3136690412","https://openalex.org/W3166846774","https://openalex.org/W3196217620","https://openalex.org/W3196268181","https://openalex.org/W3207843684","https://openalex.org/W3208388786","https://openalex.org/W4220845069","https://openalex.org/W4220929067","https://openalex.org/W4221144766","https://openalex.org/W4226278401","https://openalex.org/W4229675450","https://openalex.org/W4238083723","https://openalex.org/W4244688039","https://openalex.org/W4281611258","https://openalex.org/W4281613925","https://openalex.org/W4281763794","https://openalex.org/W4284686707","https://openalex.org/W4284692355","https://openalex.org/W4284706927","https://openalex.org/W4284961179","https://openalex.org/W4288055447","https://openalex.org/W4313442384","https://openalex.org/W4324007206","https://openalex.org/W4378591002","https://openalex.org/W4384154578","https://openalex.org/W4384302737","https://openalex.org/W4392669753"],"related_works":["https://openalex.org/W2179304688","https://openalex.org/W2008592783","https://openalex.org/W2004278744","https://openalex.org/W2159690530","https://openalex.org/W2107510936","https://openalex.org/W2027779752","https://openalex.org/W2620797757","https://openalex.org/W4294294414","https://openalex.org/W2962825342","https://openalex.org/W4224325276"],"abstract_inverted_index":{"Fuzzing":[0],"has":[1,247],"achieved":[2],"tremendous":[3],"success":[4],"in":[5,10,20,118,215,251],"discovering":[6],"bugs":[7,101,250,270],"and":[8,33,62,96,129,152,162,189,224,262],"vulnerabilities":[9],"various":[11],"software":[12,34,49],"systems.":[13],"Systems":[14],"under":[15,211],"test":[16,212],"(SUTs)":[17],"that":[18,115,121,184,213,235],"take":[19,214],"programming":[21],"or":[22,71,105],"formal":[23],"language":[24,145],"as":[25,42,148,226,256,275],"inputs,":[26],"e.g.,":[27],"compilers,":[28],"runtime":[29],"engines,":[30],"constraint":[31],"solvers,":[32],"libraries":[35],"with":[36,268],"accessible":[37],"APIs,":[38],"are":[39,44,86,185],"especially":[40],"important":[41],"they":[43],"fundamental":[45],"building":[46],"blocks":[47],"of":[48,75,92,133],"development.":[50],"However,":[51],"existing":[52,84],"fuzzers":[53,85],"for":[54,165,187],"such":[55,255],"systems":[56,210],"often":[57,87],"target":[58,124],"a":[59,176,190],"specific":[60,90],"language,":[61,95],"thus":[63,97],"cannot":[64],"be":[65],"easily":[66],"applied":[67],"to":[68,89,103,142,159,200],"other":[69,73,104],"languages":[70,128,218],"even":[72],"versions":[74],"the":[76,80,93,112,119,157,198,263],"same":[77],"language.":[78,169],"Moreover,":[79],"inputs":[81,164],"generated":[82],"by":[83,273],"limited":[88],"features":[91,132],"input":[94,127,150],"can":[98,123],"hardly":[99],"reveal":[100],"related":[102],"new":[106,202],"features.":[107],"This":[108],"paper":[109],"presents":[110],"Fuzz4All,":[111],"first":[113],"fuzzer":[114],"is":[116,141],"universal":[117,236],"sense":[120],"it":[122],"many":[125,130],"different":[126,131,217],"these":[134],"languages.":[135],"The":[136,228],"key":[137],"idea":[138],"behind":[139],"Fuzz4All":[140,207,246],"leverage":[143],"large":[144],"models":[146],"(LLMs)":[147],"an":[149],"generation":[151],"mutation":[153],"engine,":[154],"which":[155,180,195],"enables":[156],"approach":[158],"produce":[160],"diverse":[161],"realistic":[163],"any":[166],"practically":[167],"relevant":[168],"To":[170],"realize":[171],"this":[172],"potential,":[173],"we":[174],"present":[175],"novel":[177,191],"autoprompting":[178],"technique,":[179],"creates":[181],"LLM":[182],"prompts":[183],"well-suited":[186],"fuzzing,":[188],"LLM-powered":[192],"fuzzing":[193,203,237],"loop,":[194],"iteratively":[196],"updates":[197],"prompt":[199],"create":[201],"inputs.":[204,227],"We":[205],"evaluate":[206],"on":[208],"nine":[209],"six":[216,233],"(C,":[219],"C++,":[220],"Go,":[221],"SMT2,":[222],"Java,":[223],"Python)":[225],"evaluation":[229],"shows,":[230],"across":[231],"all":[232],"languages,":[234],"achieves":[238],"higher":[239],"coverage":[240],"than":[241],"existing,":[242],"language-specific":[243],"fuzzers.":[244],"Furthermore,":[245],"identified":[248],"98":[249],"widely":[252],"used":[253],"systems,":[254],"GCC,":[257],"Clang,":[258],"Z3,":[259],"CVC5,":[260],"OpenJDK,":[261],"Qiskit":[264],"quantum":[265],"computing":[266],"platform,":[267],"64":[269],"already":[271],"confirmed":[272],"developers":[274],"previously":[276],"unknown.":[277]},"counts_by_year":[{"year":2026,"cited_by_count":37},{"year":2025,"cited_by_count":103},{"year":2024,"cited_by_count":29},{"year":2023,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}