3 papers
cs.CR2026
RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities
Tarek Elsayed, Shiping Yang, Eunsong Koh +13
LLM agents are increasingly applied to vulnerability analysis, but existing benchmarks have not kept pace. They typically rely on small non-compilable snippets, focus on binary cla…
cs.SE2026
From Logic to Toolchains: An Empirical Study of Bugs in the TypeScript Ecosystem
TianYi Tang, Saba Alimadadi, Nick Sumner
TypeScript has rapidly become a popular language for modern web development, yet its effect on software faults remains poorly understood. This paper presents the first large-scale…
cs.SE2021
Leveraging Models to Reduce Test Cases in Software Repositories
Golnaz Gharachorlu, Nick Sumner
Given a failing test case, test case reduction yields a smaller test case that reproduces the failure. This process can be time consuming due to repeated trial and error with small…