cs.SE updates on arXiv.org rss.arxiv.org

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks

arxiv.org·3w

Understanding: reframing automation and assurance

arxiv.org·3w

WSCM-Lite: A Practitioner-Ready Implementation of the Weak Signal Cultivation Model

arxiv.org·3w

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems

arxiv.org·3w

Bias Ahead: Sensitive Prompts as Early Warnings for Fairness in Large Language Models

arxiv.org·3w

An Iterative Test-and-Repair Framework for Competitive Code Generation

arxiv.org·3w

Planning to Explore: Curiosity-Driven Planning for LLM Test Generation

arxiv.org·3w

Corporate Training in Brazilian Software Engineering: A Qualitative Study of Useful Learning Experiences

arxiv.org·3w

Measuring the Permission Gate: A Stress-Test Evaluation of Claude Code's Auto Mode

arxiv.org·3w

Hackers or Hallucinators? A Comprehensive Analysis of LLM-Based Automated Penetration Testing

arxiv.org·3w

PROMISE: Proof Automation as Structural Imitation of Human Reasoning

arxiv.org·3w

An Empirical Study of Perceptions of General LLMs and Multimodal LLMs on Hugging Face

arxiv.org·3w

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection

arxiv.org·3w

Evolutionary Optimization of AI-Collapsed Software Development Stacks: Labor Tipping Points and Workforce Realignment

arxiv.org·3w

Squeez: Task-Conditioned Tool-Output Pruning for Coding Agents

arxiv.org·3w

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code

arxiv.org·3w

SCOPE: A Dataset of Stereotyped Prompts for Counterfactual Fairness Assessment of LLMs

arxiv.org·3w

Spec Kit Agents: Context-Grounded Agentic Workflows

arxiv.org·3w

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol

arxiv.org·3w

CODESTRUCT: Code Agents over Structured Action Spaces

arxiv.org·3w

Log in to enable infinite scrolling