TL;DR
A novel multiverse debugger capable of effectively pruning redundant paths from the state space to reduce the effect of state explosion is presented, which uses a trace-based approach which significantly reduces the overhead of multiverse de-bugging.
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 co...
The heatseeker algorithm is presented, an innovative signature-based detection algorithm specifically designed to identify JOP attacks by analyzing patterns during program execution, offering robust protection without impacting performance.
This paper proposes online abstract debugging, which performs abstract interpretation on demand as the developer steps through the program, and instantiate this model for WebAssembly and presents a prototype implementation, demonstrating that developers can effectively draw sound conclusions about complex, potentially...
SimP is a program reduction framework that combines traditional reduction with LLM-based syntax- and semantic-guided reduction, and synergistically combines rule-based and LLM-based reduction stages to optimize the reduction performance.
DDB is presented, a source-level interactive debugger that extends interactive debugging capabilities to distributed applications and shows that each of these challenges admits a targeted solution.
A harness instruments the shared self-consistent-field driver of GAMESS at twelve sites and applies identical, deterministic faults to the original and LLM-modernized implementations, isolating the converted integral kernels.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
