{"id":"https://openalex.org/W7090757015","doi":"https://doi.org/10.48550/arxiv.2510.10179","title":"LLMs are All You Need? Improving Fuzz Testing for MOJO with Large Language Models","display_name":"LLMs are All You Need? Improving Fuzz Testing for MOJO with Large Language Models","publication_year":2025,"publication_date":"2025-10-11","ids":{"openalex":"https://openalex.org/W7090757015","doi":"https://doi.org/10.48550/arxiv.2510.10179"},"language":"en","primary_location":{"id":"doi:10.48550/arxiv.2510.10179","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.10179","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2510.10179","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Huang, Linghan","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Huang, Linghan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zhao, Peizhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Peizhou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Chen, Huaming","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Huaming","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9412999749183655,"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.9412999749183655,"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.01590000092983246,"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.009499999694526196,"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.9934999942779541},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5641999840736389},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.49129998683929443},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4481000006198883},{"id":"https://openalex.org/keywords/iterative-and-incremental-development","display_name":"Iterative and incremental development","score":0.44359999895095825},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.4345000088214874},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.3968999981880188},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38929998874664307}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9934999942779541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7401999831199646},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5641999840736389},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5307000279426575},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5254999995231628},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.49129998683929443},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4481000006198883},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.44359999895095825},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4415999948978424},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.4345000088214874},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.3968999981880188},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38929998874664307},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3483999967575073},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.34040001034736633},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.33869999647140503},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3125999867916107},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.311599999666214},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.3077000081539154},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.303600013256073},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.2937000095844269},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.2915000021457672},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2816999852657318},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.28049999475479126},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.25440001487731934}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2510.10179","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.10179","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2510.10179","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.10179","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"rapid":[1],"development":[2],"of":[3,19,37,50,101,122,208,222,238],"large":[4],"language":[5,43],"models":[6],"(LLMs)":[7],"has":[8],"revolutionized":[9],"software":[10,32,224],"testing,":[11,14,80],"particularly":[12],"fuzz":[13,102,190,205],"by":[15],"automating":[16],"the":[17,35,48,99,111,220,236],"generation":[18],"diverse":[20],"and":[21,52,62,74,168,184,192],"effective":[22],"test":[23,141,155,180],"inputs.":[24],"This":[25,215],"advancement":[26],"holds":[27],"great":[28],"promise":[29],"for":[30,78,118,154,232],"improving":[31,140],"reliability.":[33],"Meanwhile,":[34],"introduction":[36],"MOJO,":[38,209],"a":[39,66,75,128,202,229],"high-performance":[40],"AI":[41,59],"programming":[42,124,240],"blending":[44],"Python's":[45],"usability":[46],"with":[47],"efficiency":[49,167],"C":[51],"C++,":[53],"presents":[54],"new":[55,67],"opportunities":[56],"to":[57],"enhance":[58],"model":[60,83],"scalability":[61],"programmability.":[63],"However,":[64],"as":[65],"language,":[68],"MOJO":[69],"lacks":[70],"comprehensive":[71],"testing":[72,191,206,225,237],"frameworks":[73],"sufficient":[76],"corpus":[77],"LLM-based":[79,114,194],"which":[81],"exacerbates":[82],"hallucination.":[84],"In":[85],"this":[86,106],"case,":[87],"LLMs":[88,234],"will":[89],"generate":[90],"syntactically":[91],"valid":[92],"but":[93,226],"semantically":[94],"incorrect":[95],"code,":[96],"significantly":[97,139,178],"reducing":[98],"effectiveness":[100],"testing.":[103],"To":[104],"address":[105],"challenge,":[107],"we":[108,199],"propose":[109],"MOJOFuzzer,":[110,198],"first":[112,203],"adaptive":[113],"fuzzing":[115,166,195],"framework":[116,130],"designed":[117],"zero-shot":[119],"learning":[120,161],"environments":[121],"emerging":[123,239],"languages.":[125,241],"MOJOFuzzer":[126,145,177],"integrates":[127],"mutil-phase":[129],"that":[131,163,176],"systematically":[132],"eliminates":[133],"low-quality":[134],"generated":[135],"inputs":[136],"before":[137],"execution,":[138],"case":[142,156],"validity.":[143],"Furthermore,":[144],"dynamically":[146],"adapts":[147],"LLM":[148],"prompts":[149],"based":[150],"on":[151],"runtime":[152],"feedback":[153],"mutation,":[157],"enabling":[158],"an":[159],"iterative":[160],"process":[162],"continuously":[164],"enhances":[165,179],"bug":[169,185],"detection":[170,186],"performance.":[171],"Our":[172],"experimental":[173],"results":[174],"demonstrate":[175],"validity,":[181],"API":[182],"coverage,":[183],"performance,":[187],"outperforming":[188],"traditional":[189],"state-of-the-art":[193],"approaches.":[196],"Using":[197],"have":[200],"conducted":[201],"large-scale":[204],"evaluation":[207],"uncorvering":[210],"13":[211],"previous":[212],"unknown":[213],"bugs.":[214],"study":[216],"not":[217],"only":[218],"advances":[219],"field":[221],"LLM-driven":[223],"also":[227],"establishes":[228],"foundational":[230],"methodology":[231],"leveraging":[233],"in":[235]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-15T00:00:00"}