Papers for

enterprise software testers

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Certifying test cases improves cobol to java migration accuracy

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

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 chronological external-operation tape. We applied our method to a very large COBOL program with 33,429 lines of code to generate 849 synthetic end-to-end test cases covering 2,973/3,806 source branches (78.1%) and 989/1,033 main-AST paragraphs (95.7%). Using the Locksmith Loop's projected-agreement validation, the generated Java code matched the COBOL surrogate on the specified observations across all 849 certified synthetic end-to-end test cases. During the campaign we detected 61 defects and fixed the Java generator accordingly. To test whether the coding agent could silently introduce business logic bugs, we seeded 450 defects into the Java code, such as deleted writes, deleted paragraph calls, and altered rounding, to verify how many of these would be detected by the gating methodology. The gate detected 47.6%, including all deleted writes and paragraph calls in executed code, but was unable to detect the rounding and precision defects.

Mon 19 OctSoftware EngineeringArtificial Intelligence
The gist
Testing that converted COBOL programs work the same as the original can be very hard. The authors developed a new method to create test cases that cover a lot of the original program's structure by mimicking external interactions and watching the program run. They applied this to a large COBOL program and checked the converted Java code matched the original's behavior on many test cases. While most errors like missing steps were caught, some subtle differences in how numbers were handled slipped through.
Open → 2610.27272v1

SkillForgeBench measures AI agent reliability on complex tasks

SkillForgeBench: Evaluating Agent Reliability Grounded in Agent Skill Specifications

Abstract: Evaluating an agent's ability to strictly satisfy diverse and procedurally complex requirements is essential to determining its practical reliability. Conducting such an evaluation demands agentic tasks that reconcile broad domain coverage with deep procedural complexity. Existing paradigms face a fundamental trade-off: expert-curated benchmarks achieve procedural depth but suffer from domain diversity bottlenecks, whereas crowdsourced benchmarks span diverse scenarios but lack execution rigor. To resolve this tension, we present SkillForgeBench, which leverages agent skills as unifying execution blueprints across three co-designed stages: (1) Resource Preparation uses domain-balanced skills to guide artifact retrieval, establishing broad workflow coverage; (2) Skill-driven Task Synthesis employs skills as procedural anchors to partition artifact roles, synthesize naturalistic task instructions, and package sandboxed scenarios for deep procedural execution; and (3) Holistic Evaluation Design translates skill-embedded requirements into fine-grained completion and process rubrics to enable strict requirement-level scoring. Comprising 842 sandboxed tasks across five major professional domains, SkillForgeBench reveals a steep capability hierarchy among eight mainstream agents, led by Opus 4.8 ($40.9\%$ strict completion). Requiring all constrains satisfaction uncovers severe capability bottlenecks across all model tiers that remain masked under individual rubric pass rates ($70.0\%$ to $85.7\%$ vs. $12.6\%$ to $40.9\%$). Crucially, under the external guidance from skills, top-tier agents obtain larger gains than low-tier agents (i.e., $Δ19.2\%$ for Opus 4.8 vs. $Δ5.8\%$ for Haiku 4.5). Finally, agents satisfy process rubrics far less frequently than completion rubrics (under $3\%$ for Haiku 4.5), proving that completion-only checks overestimate real-world agent reliability.

Sat 10 OctArtificial IntelligenceComputation and Language
The gist
It can be hard to know how well AI agents follow complicated instructions across many job areas. The authors made SkillForgeBench, a new test set with lots of different professional tasks that are carefully designed to check strict skill requirements. They found big differences between AI models and showed that simple pass tests miss important problems with how agents complete steps. The results help show where AI agents struggle to be truly reliable and improve how these agents are judged.
Open → 2610.14918v1

Agents build better financial benchmarks for varied scenarios

FinCUABuild: Can Agents Build Reliable Benchmarks for Dynamic Financial Computer Use?

Abstract: Financial scenarios are diverse and complex, spanning varying data conditions, tool configurations, and workflows. Yet existing CUA, Computer-Using Agent, evaluation tasks remain largely manually constructed, limiting scalable coverage of real-world financial scenarios. Then, can agents autonomously construct diverse CUA evaluation tasks for financial scenarios? Evaluating this capability poses three key challenges: scenario coverage of construction requests, fair comparison across construction methods, and reliable assessment of generated task quality. To solve these, we introduce FinCUABuildBench, a benchmark for evaluating financial CUA task construction, featuring: (i) 576 construction requests covering 24 financial workflows and three types of runtime variation; (ii) standardized input, budget, and output specifications; and (iii) a task qualification mechanism based on execution tests and quality checks. We further introduce FinCUABuildAgent, a multi-agent system for automatically constructing dynamic financial CUA evaluation tasks. It consists of three modules that jointly construct tasks, environments, and validators. On FinCUABuildBench, under the same model backbone, existing agent-based construction methods achieve strict qualification rates of only 1.3-8.3%, while FinCUABuildAgent reaches 31.3%. Downstream evaluations further show that the constructed tasks can effectively differentiate CUA task-execution capabilities. These results demonstrate that agents can autonomously construct financial CUA tasks with meaningful evaluation value, offering a practical path toward broader evaluation coverage in financial scenarios. Code: https://github.com/FengxianJi/FinCUABuild

Mon 7 SeptArtificial Intelligence
The gist
Financial tasks that use computers can be very different and complex, but creating tests to check how well these tasks are done usually requires a lot of manual effort. The paper’s authors created a big set of test requests and a way to check the quality of these tests. They then built a system made up of several cooperating agents to automatically create these financial computer tasks. Their system was much better than previous automatic methods, creating more and higher-quality test tasks. This shows that intelligent agents can help build better tests to evaluate financial computing tools on many different situations.
Open → 2609.07603v1