Migrating COBOL applications to Java is a complex task, and one of the biggest obstacles is producing synthetic data for comparison testing. This paper directly addresses that problem, focusing on how to make such data reliable enough to validate a migration.
The authors propose a method for certifying "repeatable entry-replay witnesses" — a way to ensure that test inputs and recorded behaviors can be replayed consistently, providing evidence that the migrated application behaves as expected. The approach extends the authors' earlier "Agentic Method for Deterministic Validation of Legacy Code Migration."
Because the source is a single arXiv preprint with a brief abstract, the full details of the certification mechanism are not available here. The paper is positioned as a follow-up to prior work, and its main contribution is the idea of making replay-based validation certifiable.