arxivcs.SE2026-07-31
Automated Testing and Repair for Verified Compilers Generated by a Coding Agent
We present an agent based automated testing and repair system for verified compilers that contain four kinds of code: verified code, checked code, unverified code, and specification. We present specialized defect detection techniques that exploit the structure present in such com…