Newest papers

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

Portuguese

A produção de dados sintéticos para testes de comparação de uma aplicação COBOL migrada é um grande desafio que as migrações agentes enfrentam hoje. Nosso artigo anterior, o Método Agente para Validação Determinística da Migração de Código Legado, apresenta um oráculo determinista para facilitar tais migrações, o Locksmith Loop. Agora propomos um novo método para alcançar alta cobertura de ramo e parágrafo através de casos de teste de ponta a ponta gerados, por meio de certificação de caso de teste de reposição de entrada, observando o rastro de execução de código em um COBOL substituto que programa interações externas através de um 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