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

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification

arxiv.org·6d

Call-Chain-Aware LLM-Based Test Generation for Java Projects

arxiv.org·6d

Feedback Over Form: Why Execution Feedback Matters More Than Pipeline Topology in 1-3B Code Generation

arxiv.org·6d

How Do AI Agents Spend Your Money? Analyzing and Predicting Token Consumption in Agentic Coding Tasks

arxiv.org·6d

Quality-Driven Selective Mutation for Deep Learning

arxiv.org·6d

A Systematic AI Adoption Framework for Higher Education: From Student GenAI Usage to Institutional Integration

arxiv.org·6d

Quantifying Interface Procedure Coupling Risks in Digital Nuclear Control Rooms: An Event Based Human Reliability Assessment

arxiv.org·6d

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability

arxiv.org·6d

Gamifying Architectural Governance to Reduce Organizational Coupling in Microservice Systems

arxiv.org·6d

Ethics Testing: Proactive Identification of Generative AI System Harms

arxiv.org·6d

Asymmetric Goal Drift in Coding Agents Under Value Conflict

arxiv.org·8w

Efficient Dynamic Test Case Generation for Path-Based Coverage Criteria

arxiv.org·9w

Do Good, Stay Longer? Temporal Patterns and Predictors of Newcomer-to-Core Transitions in Conventional OSS and OSS4SG

arxiv.org·12w

Challenges in Android Data Disclosure: An Empirical Study

arxiv.org·13w

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings

arxiv.org·19w

Securing AI Agent Execution

arxiv.org·26w

AdaDec: Uncertainty-Guided Adaptive Decoding for LLM-based Code Generation

arxiv.org·46w

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool

arxiv.org·49w

Efficient Symbolic Execution of Software under Fault Attacks

arxiv.org·58w

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation

arxiv.org·1w

Log in to enable infinite scrolling