Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration

Andras L. Ferenczi, Mariya Bessonov, Allwyn Ponnudurai, Chandrakanth R. Mamillapalli, Krishna K. Maddula, Krishna K. Lingamneni · 2026 · arXiv

DOI: 10.48550/arXiv.2610.27272 · open-access PDF

Spanish

Producir datos sintéticos para la prueba de comparación de una aplicación COBOL migrada es un gran desafío que enfrentan las migraciones de agentes hoy en día. Nuestro artículo anterior, el Método Agentico para la Validación Determinística de la Migración de Código Legado, presenta un oráculo determinista para facilitar tales migraciones, el Locksmith Loop. Ahora proponemos un nuevo método para lograr una alta cobertura de rama y párrafo a través de casos de prueba de fin a fin generados, mediante la certificación de casos de prueba de reposición de entrada, observando el rastro de ejecución de código en un COBOL de sustituto que programa las interacciones externas a través de un cronol.

Machine translation (Meta M2M100); the English original follows.

Abstract

Producing synthetic data for comparison testing a migrated COBOL application is a major challenge that agentic migrations face today. Our prior paper, the Agentic Method for Deterministic Validation of Legacy Code Migration, presents a deterministic oracle to facilitate such migrations, the Locksmith Loop. We now propose a novel method for achieving high branch and paragraph coverage through generated synthetic end-to-end test cases, by means of entry-replay test-case certification by observing the code execution trace on a surrogate COBOL program that mocks external interactions via a chronol

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27272, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange