2026· International Conference on Software and Data Technologies· pp. 254-261· 0 citations· 14 references
Computer Science
TL;DR
It is argued that agent-generated native reference implementations—small vertical prototypes built directly against the platform’s native APIs with the help of coding agents—make differential, layer-bisection debugging an economically viable default tactic in cross-platform development.
Abstract
: Cross-platform application frameworks promise a single codebase for multiple operating systems, but pay for this with a stack of abstraction layers—application code, third-party packages, framework runtime, platform-specific bridges, and the underlying operating system or device. When a defect manifests at this stack’s surface, fault localization is hard precisely because each layer is a plausible suspect. We argue that agent-generated native reference implementations—small vertical prototypes built directly against the platform’s native APIs with the help of coding agents—make differential, layer-bisection debugging an economically viable default tactic in cross-platform development. The contribution of this position paper is threefold: a layered fault model that makes the localization problem explicit, the proposal of native probes on demand as a concrete debugging mechanism enabled by agentic code generation, and a discussion of the conditions under which the mechanism fails (cross-layer interactions, timing-dependent behavior, probe drift) together with a research agenda for controlled empirical evaluation. The position is that agent-assisted native probes shift the cost balance of cross-platform debugging in a way that is qualitatively new: a tactic that was previously reserved for teams with full multi-platform expertise becomes available, on demand, to single-stack developers.
The first empirical study focused on agent-reactive (AR) bugs is conducted, constructing a two-axis taxonomy covering observable symptoms and the LLM behaviors that trigger them and highlights challenges specific to LLM agents.
CCGMAS enables more explicit semantic alignment across platforms by introducing requirement documents as an intermediate semantic layer and incorporating platform residue modeling, and a feedback-driven refinement loop is designed to iteratively correct errors at different stages, improving both functional correctness and platform compatibility.
Across three COBOL-Java case studies, spanning two open-source programs and one internal production-like COBOL program and ranging from 430 to 4,114 source lines, Locksmith consistently improved coverage beyond input-search plateaus, reaching nearly complete coverage on the two open-source programs and 91.90% branch coverage on the internal production-like COBOL program.
Andras Ferenczi, Jordan Docherty, M.D. Bessonov et al.· arXiv.org· 0 citations
WasmMend is presented, the first system to automatically repair Native-Wasm functional discrepancies and demonstrates the value of divergence-guided reasoning for cross-platform repair.
Rebuild-dossier is presented, an open-source tool that locks an application's real interface - its exact inputs and outputs - before any code is written, then enforces one-test-at-a-time building through automated checks, not written instructions alone.
This work proposes VPID, a multi-agent framework for generating complex Verilog that achieves monotonic functional improvement and introduces an experience-guided refinement strategy that distills historical waveform mismatches into constraints, guiding the targeted debugging for the unverified ports.
Hongguang Wang, Jiaming Guo, Rui Zhang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.