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

cs.SE, cs.AI

Submitted: 2026-10-19

Updated: 2026-10-19

Comments: 8 pages, 9 figures, 4 tables

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties