{"id":"https://openalex.org/W7156099109","doi":"https://doi.org/10.48550/arxiv.2604.22028","title":"FlyCatcher: Neural Inference of Runtime Checkers from Tests","display_name":"FlyCatcher: Neural Inference of Runtime Checkers from Tests","publication_year":2026,"publication_date":"2026-04-23","ids":{"openalex":"https://openalex.org/W7156099109","doi":"https://doi.org/10.48550/arxiv.2604.22028"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.22028","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.22028","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.22028","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134725134","display_name":"Beatriz Souza","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Souza, Beatriz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077905322","display_name":"Chang Lou","orcid":"https://orcid.org/0009-0001-3056-5729"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lou, Chang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024224291","display_name":"Suman Nath","orcid":"https://orcid.org/0000-0001-7813-9756"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nath, Suman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pradel, Michael","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.7038999795913696,"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.7038999795913696,"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.060100000351667404,"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/T10142","display_name":"Formal Methods in Verification","score":0.057100001722574234,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/software","display_name":"Software","score":0.5486000180244446},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.48429998755455017},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4632999897003174},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44040000438690186},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4207000136375427},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.38690000772476196},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.3644999861717224},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.362199991941452}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.849399983882904},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5486000180244446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5281999707221985},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.48429998755455017},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4632999897003174},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44040000438690186},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4207000136375427},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.38690000772476196},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.3644999861717224},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.362199991941452},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3353999853134155},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.3086000084877014},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.30219998955726624},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3009999990463257},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29660001397132874},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.25929999351501465},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.25920000672340393},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.25290000438690186},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25220000743865967},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.22028","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.22028","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.22028","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.22028","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":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7884101271629333,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Complex":[0],"software":[1,55,88,188,256],"systems":[2],"often":[3],"suffer":[4],"from":[5,78,82,183,235],"silent":[6,252],"failures,":[7],"i.e.,":[8,81,153],"violations":[9,43],"of":[10,37,44,93,111,121,196,232,243],"the":[11,35,45,100,157,167,174,229,240],"intended":[12,46],"semantics":[13],"that":[14,33,133,141,165],"do":[15],"not":[16],"cause":[17],"explicit":[18],"errors.":[19,225],"A":[20],"promising":[21],"approach":[22,73,96,191,212,249],"to":[23,28,74,98,108,180,201,221,228,250],"detect":[24,222,251],"such":[25,50,94],"errors":[26],"is":[27,57,97],"use":[29],"system-specific":[30],"runtime":[31,76,233,244],"checkers":[32,51,77,150,234],"monitor":[34],"execution":[36],"a":[38,53,83,105,112,119,131,162,208,247],"system":[39,56,169],"and":[40,59,61,126,138],"check":[41],"for":[42,52,86],"semantics.":[47],"However,":[48],"writing":[49],"given":[54],"challenging":[58],"time-consuming,":[60],"hence,":[62],"rarely":[63],"done":[64],"in":[65,104,254],"practice.":[66],"This":[67],"work":[68,238],"presents":[69],"FlyCatcher,":[70],"an":[71,95],"automated":[72,230],"derive":[75],"existing":[79],"tests,":[80,236],"resource":[84],"available":[85],"most":[87],"systems.":[89,189,257],"The":[90,148,190],"critical":[91],"challenge":[92,117],"generalize":[99],"behavioral":[101],"properties":[102,140],"encoded":[103],"test":[106],"case":[107],"arbitrary":[109],"executions":[110],"system.":[113],"FlyCatcher":[114,179],"addresses":[115],"this":[116,237],"through":[118],"combination":[120],"LLM-based":[122],"synthesis,":[123],"static":[124],"analysis,":[125],"dynamic":[127],"validation,":[128],"which":[129,197,218],"infers":[130,192,213],"checker":[132],"monitors":[134],"specific":[135],"method":[136],"calls":[137],"asserts":[139],"should":[142],"hold":[143],"when":[144],"they":[145,154],"are":[146,151,199],"called.":[147],"inferred":[149],"stateful,":[152],"reason":[155],"about":[156],"system's":[158],"behavior":[159],"by":[160,173],"maintaining":[161],"shadow":[163],"state":[164,170],"abstracts":[166],"actual":[168],"as":[171,246],"needed":[172],"checker.":[175],"Our":[176],"evaluation":[177],"applies":[178],"400":[181],"tests":[182],"four":[184],"widely":[185],"used,":[186],"complex":[187,255],"334":[193],"checkers,":[194,217],"out":[195],"300":[198],"found":[200],"be":[202],"correct":[203,216],"via":[204],"cross-validation.":[205],"Compared":[206],"with":[207],"state-of-the-art":[209],"approach,":[210],"our":[211],"2.6x":[214],"more":[215,224],"enables":[219,239],"it":[220],"5.2x":[223],"By":[226],"contributing":[227],"inference":[231],"broader":[241],"adoption":[242],"checking":[245],"practical":[248],"failures":[253]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-28T00:00:00"}