{"id":"https://openalex.org/W7167718381","doi":"https://doi.org/10.48550/arxiv.2607.06195","title":"LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle","display_name":"LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle","publication_year":2026,"publication_date":"2026-07-07","ids":{"openalex":"https://openalex.org/W7167718381","doi":"https://doi.org/10.48550/arxiv.2607.06195"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.06195","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06195","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.2607.06195","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140265828","display_name":"Minghui Long","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Long, Minghui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140296221","display_name":"Yanjie Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Yanjie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5140245425","display_name":"Haoyu Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Haoyu","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.5174000263214111,"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.5174000263214111,"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.047600001096725464,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.044599998742341995,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.906499981880188},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.891700029373169},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4189999997615814},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.39910000562667847},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.3192000091075897},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.305400013923645},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.30239999294281006}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.906499981880188},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.891700029373169},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83160001039505},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47909998893737793},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45320001244544983},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4189999997615814},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.39910000562667847},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37560001015663147},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.3192000091075897},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.305400013923645},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.30090001225471497},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C128595289","wikidata":"https://www.wikidata.org/wiki/Q131140","display_name":"COBOL","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.27000001072883606},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2651999890804291},{"id":"https://openalex.org/C22664368","wikidata":"https://www.wikidata.org/wiki/Q4045949","display_name":"Oracle Unified Method","level":5,"score":0.2612000107765198},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25529998540878296},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.25429999828338623},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.06195","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06195","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.2607.06195","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06195","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":[{"id":"https://metadata.un.org/sdg/9","score":0.6607469320297241,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Model":[2],"(LLM)":[3],"agent":[4],"frameworks":[5,46],"such":[6],"as":[7,38,48,209],"LangChain,":[8],"LlamaIndex,":[9],"and":[10,70,106,168,180,198],"CrewAI":[11],"have":[12],"become":[13],"critical":[14],"infrastructure":[15],"powering":[16],"production":[17],"AI":[18],"systems,":[19],"yet":[20,137],"they":[21],"remain":[22],"severely":[23],"under-tested":[24],"due":[25],"to":[26,78,144],"fundamental":[27],"challenges":[28,108],"in":[29,42],"automated":[30],"testing.":[31,112],"Unlike":[32],"traditional":[33,84],"software,":[34],"where":[35],"crashes":[36],"serve":[37],"reliable":[39],"oracles,":[40],"defects":[41],"these":[43],"pure":[44],"Python":[45],"manifest":[47],"ordinary":[49],"exceptions":[50],"or":[51],"silent":[52,146],"semantic":[53],"failures,":[54],"creating":[55],"profound":[56],"oracle":[57,107,150],"ambiguity.":[58],"This":[59],"problem":[60],"is":[61],"exacerbated":[62],"by":[63,135,161,201,225],"strict":[64],"type":[65,121],"governance":[66],"through":[67,109,172],"Pydantic":[68],"schemas":[69],"complex":[71],"protocol":[72],"requirements":[73],"that":[74,101,117,132],"cause":[75],"existing":[76],"fuzzers":[77],"generate":[79],"overwhelming":[80],"invalid":[81],"inputs,":[82],"while":[83,203],"test":[85],"generators":[86],"produce":[87],"only":[88],"trivial":[89],"cases":[90],"with":[91,123,141,176,195],"weak":[92],"regression":[93],"assertions.":[94],"We":[95],"present":[96],"LogicHunter,":[97],"a":[98,173],"fuzzing":[99],"framework":[100],"addresses":[102],"both":[103],"the":[104,154,219],"generation":[105,116],"active":[110],"specification-aware":[111],"LogicHunter":[113,189],"employs":[114],"specification-driven":[115],"systematically":[118],"fuses":[119],"formal":[120],"constraints":[122],"authentic":[124],"usage":[125],"patterns":[126],"from":[127],"real-world":[128],"repositories,":[129],"synthesizing":[130],"inputs":[131],"are":[133],"valid":[134],"construction":[136],"semantically":[138],"extreme,":[139],"equipped":[140],"behavioral":[142],"probes":[143],"expose":[145],"failures.":[147],"To":[148],"resolve":[149],"ambiguity,":[151],"we":[152],"introduce":[153],"Agentic":[155,213],"Oracle,":[156],"which":[157],"transcends":[158],"passive":[159,221],"classification":[160],"actively":[162],"retrieving":[163],"documentation,":[164],"navigating":[165],"source":[166],"code,":[167],"inspecting":[169],"runtime":[170],"states":[171],"ReAct-based":[174],"architecture":[175],"Dual-Layer":[177],"State":[178],"Management":[179],"Dual-Stream":[181],"Memory.":[182],"Evaluated":[183],"on":[184],"three":[185],"widely":[186],"deployed":[187],"frameworks,":[188],"discovered":[190],"40":[191],"previously":[192],"unknown":[193],"bugs":[194,208],"30":[196],"confirmed":[197],"26":[199],"fixed":[200],"developers,":[202],"state-of-the-art":[204],"baselines":[205],"reported":[206],"no":[207],"final":[210],"findings.":[211],"The":[212],"Oracle":[214],"achieves":[215],"91.17%":[216],"precision,":[217],"surpassing":[218],"best":[220],"approach":[222],"at":[223],"29.27%":[224],"61":[226],"percentage":[227],"points.":[228]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-09T00:00:00"}