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

Story Point Estimation Using Large Language Models

arxiv.org·8w

Agentic Much? Adoption of Coding Agents on GitHub

arxiv.org·13w

VisCoder2: Building Multi-Language Visualization Coding Agents

arxiv.org·26w

Boosting Skeleton-Driven SMT Solver Fuzzing by Leveraging LLM to Produce Formula Generators

arxiv.org·35w

LLMs Love Python: A Study of LLMs' Bias for Programming Languages and Libraries

arxiv.org·58w

From Exploration to Revelation: Detecting Dark Patterns in Mobile Apps

arxiv.org·74w

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference

arxiv.org·3w

Beyond Accuracy: Unveiling Inefficiency Patterns in Tool-Integrated Reasoning

arxiv.org·3w

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines

arxiv.org·3w

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis

arxiv.org·3w

On the Role of Fault Localization Context for LLM-Based Program Repair

arxiv.org·3w

Corporate Training in Brazilian Software Engineering: A Quantitative Study of Professional Perceptions

arxiv.org·3w

Proof of Concept as a First-Class Architectural Decision Instrument

arxiv.org·3w

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor

arxiv.org·3w

Does Pass Rate Tell the Whole Story? Evaluating Design Constraint Compliance in LLM-based Issue Resolution

arxiv.org·3w

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation

arxiv.org·3w

SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT

arxiv.org·3w

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation

arxiv.org·3w

Nidus: Externalized Reasoning for AI-Assisted Engineering

arxiv.org·3w

CAKE: Cloud Architecture Knowledge Evaluation of Large Language Models

arxiv.org·3w

Log in to enable infinite scrolling