importantSYS.SOURCE: arXiv• 2026-08-03T03:06:12Z
Agentic Method for Deterministic Validation of Legacy Code Migration
This paper introduces the 'Locksmith Loop' agentic method for deterministic validation of COBOL-to-Java legacy code migration, achieving near-complete branch coverage through iterative witness search and parity-preserving mutations. The approach demonstrates effective validation of migrated code functionality with high accuracy across multiple case studies.
*** END OF TRANSMISSION ***