Investigadores presentan el "Locksmith Loop", un método agéntico de síntesis de pruebas diseñado para validar la migración de programas COBOL heredados a Java, un proceso que suele complicarse por la escasez de datos de prueba y la dificultad de cubrir todos los casos límite. La técnica prepara dos entornos de ejecución sobre hardware convencional: el código COBOL original y la versión Java generada se instrumentan con mocks y se ejecutan fuera del mainframe. A continuación, un bucle iterativo con agentes realiza una búsqueda de testigos sobre los mocks de entrada para atravesar las ramas del programa, seguida de mutaciones que preservan la paridad. Cuando se llega a fronteras de enrutamiento, un analizador identifica un "Locked Paragraph", una condición que impide avanzar hacia una exploración más profunda.
Los autores evaluaron el método en tres casos de estudio COBOL-Java —dos programas de código abierto y un programa COBOL interno de tipo productivo— con tamaños de entre 430 y 4.114 líneas de código fuente. Locksmith superó de forma consistente los mesetas de cobertura de los métodos basados únicamente en búsqueda de entradas, alcanzó una cobertura casi completa en los dos proyectos abiertos y un 91,90 % de cobertura de ramas en el programa interno. En todos los casos de prueba aceptados, el Java generado coincidió con la referencia COBOL bajo comprobaciones de paridad deterministas. Los investigadores concluyen que el enfoque ofrece, hasta donde saben, un oráculo determinista para validar la salida de herramientas de codificación agéntica aplicadas a migraciones de software heredado.