New 'Locksmith Loop' Guarantees Bug‑Free COBOL‑to‑Java Migration
Researchers unveil the 'Locksmith Loop', an agentic test‑synthesis technique that validates AI‑generated Java code against legacy COBOL by iteratively searching inputs and enforcing parity. On three case studies up to 4 k lines, it achieved near‑complete branch coverage and caught subtle migration bugs, offering a deterministic oracle for enterprise code rewrites.