{"id":"https://openalex.org/W7151841723","doi":"https://doi.org/10.48550/arxiv.2604.05289","title":"FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems","display_name":"FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems","publication_year":2026,"publication_date":"2026-04-07","ids":{"openalex":"https://openalex.org/W7151841723","doi":"https://doi.org/10.48550/arxiv.2604.05289"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.05289","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.05289","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.05289","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124110928","display_name":"Mingxuan Hui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hui, Mingxuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048935430","display_name":"Xinyue Li","orcid":"https://orcid.org/0000-0002-8973-8698"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xinyue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133199343","display_name":"Lu Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Lu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016446062","display_name":"Chengcheng Wan","orcid":"https://orcid.org/0000-0001-9162-9688"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wan, Chengcheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133153047","display_name":"Yifan Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Yifan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133159989","display_name":"Yimian Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Yimian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083331964","display_name":"Feiyue Song","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Song, Feiyue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113087358","display_name":"Beining Shi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shi, Beining","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133177865","display_name":"Yixi Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Yixi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5066288169","display_name":"Yaxiao Li","orcid":"https://orcid.org/0009-0009-5259-7260"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Yaxiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.43540000915527344,"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.43540000915527344,"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.3686999976634979,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.03200000151991844,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9628000259399414},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7213000059127808},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6578999757766724},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4560000002384186},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4307999908924103},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.41990000009536743},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40549999475479126},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3962000012397766},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.3889999985694885}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9628000259399414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.739300012588501},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7213000059127808},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6578999757766724},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4560000002384186},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4307999908924103},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4237000048160553},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4207000136375427},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.41990000009536743},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40549999475479126},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3962000012397766},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.3889999985694885},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36090001463890076},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35350000858306885},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.34220001101493835},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.30790001153945923},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.29190000891685486},{"id":"https://openalex.org/C2779588948","wikidata":"https://www.wikidata.org/wiki/Q628261","display_name":"Flare","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.28279998898506165},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.27399998903274536},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.05289","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.05289","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.05289","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.05289","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.5547194480895996,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Multi-Agent":[0],"LLM":[1,25,60],"Systems":[2],"(MAS)":[3],"have":[4],"been":[5],"adopted":[6],"to":[7,20,56,114,122,165],"automate":[8],"complex":[9],"human":[10],"workflows":[11],"by":[12,153],"breaking":[13],"down":[14],"tasks":[15],"into":[16],"subtasks.":[17],"However,":[18],"due":[19,55],"the":[21,28,57,63,86],"non-deterministic":[22],"behavior":[23],"of":[24,59,67,89],"agents":[26],"and":[27,41,69,93,96,110,129,147,155],"intricate":[29],"interactions":[30],"between":[31],"agents,":[32],"MAS":[33,90],"applications":[34,139],"frequently":[35],"encounter":[36],"failures,":[37],"including":[38],"infinite":[39],"loops":[40],"failed":[42],"tool":[43],"invocations.":[44],"Traditional":[45],"software":[46],"testing":[47,79],"techniques":[48],"are":[49],"ineffective":[50],"in":[51],"detecting":[52],"such":[53],"failures":[54,163],"lack":[58],"agent":[61,100],"specification,":[62],"large":[64],"behavioral":[65,97],"space":[66],"MAS,":[68],"semantic-based":[70],"correctness":[71],"judgment.":[72],"This":[73],"paper":[74],"presents":[75],"FLARE,":[76],"a":[77],"novel":[78],"framework":[80],"tailored":[81],"for":[82],"MAS.":[83,166],"FLARE":[84,106,142,157],"takes":[85],"source":[87],"code":[88],"as":[91],"input":[92],"extracts":[94],"specifications":[95],"spaces":[98],"from":[99],"definitions.":[101],"Based":[102],"on":[103,135],"these":[104],"specifications,":[105],"builds":[107],"test":[108,126],"oracles":[109],"conducts":[111],"coverage-guided":[112],"fuzzing":[113],"expose":[115],"failures.":[116],"It":[117],"then":[118],"analyzes":[119],"execution":[120],"logs":[121],"judge":[123],"whether":[124],"each":[125],"has":[127],"passed":[128],"generates":[130],"failure":[131],"reports.":[132],"Our":[133],"evaluation":[134],"16":[136],"diverse":[137],"open-source":[138],"demonstrates":[140],"that":[141],"achieves":[143],"96.9%":[144],"inter-agent":[145],"coverage":[146],"91.1%":[148],"intra-agent":[149],"coverage,":[150],"outperforming":[151],"baselines":[152],"9.5%":[154],"1.0%.":[156],"also":[158],"uncovers":[159],"56":[160],"previously":[161],"unknown":[162],"unique":[164]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-09T00:00:00"}