{"id":"https://openalex.org/W7225823229","doi":"https://doi.org/10.5281/zenodo.24127980","title":"Prove It First: Reproduction-Gated LLM Repair of Production Exceptions in Laravel Applications","display_name":"Prove It First: Reproduction-Gated LLM Repair of Production Exceptions in Laravel Applications","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225823229","doi":"https://doi.org/10.5281/zenodo.24127980"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24127980","doi":"https://doi.org/10.5281/zenodo.24127980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24127980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24127980","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161422938","display_name":"MOHAMMED A. A. ALASHQAR","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"ALASHQAR, MOHAMMED A. A.","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161422938"],"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.9146000146865845,"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.9146000146865845,"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.08330000191926956,"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.0005000000237487257,"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":[],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.760200023651123},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5422000288963318},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5404000282287598},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.4388999938964844},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3785000145435333},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3458000123500824},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31349998712539673},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29760000109672546},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.2694999873638153},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24127980","doi":"https://doi.org/10.5281/zenodo.24127980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24127980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24127981","doi":"https://doi.org/10.5281/zenodo.24127981","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24127981","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24127980","doi":"https://doi.org/10.5281/zenodo.24127980","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24127980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":[],"study_designs":[],"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],"models":[2,243],"(LLMs)":[3],"can":[4,62],"now":[5],"propose":[6],"fixes":[7,156,218],"for":[8,44,148,225,235,259],"many":[9],"bugs,":[10,151],"but":[11],"a":[12,28,56,66,72,99,131,145,192,264,272,280,286],"fix":[13,29,58,126,147],"that":[14,27,48,76,134,194,254,279],"merely":[15],"makes":[16],"an":[17,40,50],"error":[18],"disappear":[19],"is":[20,31,91,127,200,257,284],"not":[21,285],"necessarily":[22],"correct,":[23],"and":[24,82,104,152,186,229,270],"the":[25,35,70,83,108,114,135,160,172,175,179,184,188,198,203,210,217,220,232,238,242,245,249],"evidence":[26],"works":[30],"usually":[32,215],"left":[33],"to":[34,80],"reviewer.":[36],"We":[37,94],"present":[38],"Lazarus,":[39],"open-source":[41],"self-healing":[42],"tool":[43,136],"Laravel":[45,118],"(PHP)":[46],"applications":[47],"turns":[49,75],"exception":[51],"captured":[52],"in":[53,169,187,240],"production":[54,213],"into":[55],"reviewable":[57],"only":[59],"when":[60,197],"it":[61,190],"prove":[63],"three":[64],"things:":[65],"generated":[67],"test":[68,77,86,283],"reproduces":[69],"failure,":[71],"minimal":[73],"patch":[74],"from":[78,113,209,219,231],"red":[79],"green,":[81],"project's":[84],"existing":[85],"suite":[87],"still":[88,195],"passes.":[89],"Nothing":[90],"published":[92],"otherwise.":[93],"evaluate":[95],"Lazarus":[96,143],"on":[97],"LaraBugs-29,":[98],"benchmark":[100],"of":[101,116,154,183,266,288],"20":[102],"synthetic":[103],"9":[105],"real":[106,109],"exceptions;":[107],"ones":[110],"were":[111,223],"mined":[112],"logs":[115],"28":[117],"projects":[119],"(381":[120],"distinct":[121],"exceptions,":[122],"6,481":[123],"occurrences).":[124],"Each":[125],"additionally":[128],"judged":[129],"by":[130],"hidden":[132,161,208],"oracle":[133,165],"never":[137],"sees.":[138],"With":[139],"two":[140,164],"Claude":[141],"models,":[142],"produced":[144],"verified":[146],"all":[149,226],"29":[150,155,227],"27":[153],"(93%)":[157],"also":[158,277],"passed":[159],"oracle.":[162],"The":[163,251],"failures":[166],"are":[167],"instructive:":[168],"one":[170],"case":[171],"model":[173,222,234],"\"fixed\"":[174],"bad":[176],"input":[177,205,239],"at":[178,263],"call":[180],"site":[181],"instead":[182,207],"function,":[185],"other":[189],"added":[191],"fallback":[193,199],"crashes":[196],"missing.":[201],"When":[202],"failing":[204],"was":[206],"code,":[211],"as":[212],"data":[214],"is,":[216],"stronger":[221],"correct":[224],"bugs":[228],"those":[230],"smaller":[233],"28:":[236],"without":[237],"view,":[241],"repaired":[244],"functions":[246],"rather":[247],"than":[248],"data.":[250],"results":[252],"suggest":[253],"reproduction-gated":[255],"repair":[256],"practical":[258],"everyday":[260],"web-application":[261],"exceptions":[262],"cost":[265],"about":[267],"13k":[268],"tokens":[269],"half":[271],"minute":[273],"per":[274],"bug,":[275],"while":[276],"showing":[278],"passing":[281],"reproduction":[282],"proof":[287],"correctness.":[289]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}