AI migrated legacy COBOL programs to Java, bugs included

Researchers developed the Locksmith Loop, an agentic test-synthesis method to validate COBOL-to-Java migrations by iteratively exploring program branches and mutations, achieving high coverage and parity in tests across multiple case studies. This approach helps detect bugs in AI-migrated legacy code by ensuring functional equivalence between source and target programs.