Applied & Human-Centered · Computer Science & AI
Software Engineering
The newest papers in Software Engineering that ReadSearch has read, newest first. Each links to its own page, with its authors, date, where it was published and the original.
1,466 papers, from 31 August 2026 to 5 November 2026: 1,451 arXiv preprints and 15 OpenAlex records.
Get the few papers worth your time in Software Engineering every morning.
Follow Software Engineering and ReadSearch reads its new papers each day, then brings you the few worth reading, each with its key finding in a sentence.
Newest papers, page 41
Agentic AI-Assisted Modeling for Production Scheduling: Assessment in Constraint Programming
Developing optimization models for production scheduling requires substantial expert effort.Why Software Engineering Is Indispensable in the Age of Coding Agents
Can AI make Software Engineering (SE) -- the discipline -- obsolete?TestGRAD: Evolving Test Suites via Failure Pattern Momentum for SWE-Agent Ensemble
SWE-agent ensembles improve issue resolution by combining candidate patches from different agents with complementary strengths.OOM-RL II: Reality Is an Oracle, Not a Debugger Provenance-Constrained Diagnosis in Continually Evolving Agent-Engineered Systems
Reality may establish that an outcome occurred without identifying which evolving procedure produced it or why.QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents
Quantum libraries are now critical infrastructure for quantum algorithm development, yet their correctness remains difficult to test.Using Small Language Models to Reverse-Engineer Machine Learning Pipelines Structures
Once defined a taxonomy of stages structuring Machine Learning (ML) pipelines (e.g. Data Preprocessing, Modeling...), extracting these stages from source code is key for better understanding ML…When Sub-Agents Work in Parallel: The Promises and Pitfalls of Dynamic Concurrency in Long-Horizon Coding Tasks
As coding agents advance from bounded software engineering tasks toward long horizon development, dynamic concurrency offers a promising way to scale complex development tasks.Input-Blind Controls Produce Substantial Oracle Headroom for Layer Programs in Multiple-Choice Evaluation
Adaptive computation aims to improve language-model inference by tailoring execution to each input.TaoD2C-Bench: Benchmarking MLLMs for Industrial UI Code Generation Beyond Visual Fidelity
A key challenge for multimodal large language models (MLLMs) is moving beyond visual recognition to constraint-aware cross-modal reasoning.Design-Time Conformance Checking for Pulse-Level Quantum Control
A pulse-level quantum control program is written against a device whose limits are recorded, if at all, in vendor documentation and source code.Before They Can Solve: Predicting Post-Training Coding-Agent Performance from Base Models
How can we predict which base checkpoint is worth an expensive round of agentic post-training?Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation
When generating verifiable code, natural language requirements are mapped to machine checked code using LLMs and agentic workflows.Code Understanding is a Bottleneck for Coding Agents
Repository benchmarks (e.g., SWE-bench) for coding agents often assume that lines of code edited can predict task difficulty, but such datasets' poor control over code and task types makes it hard…PyCache Trap: The Inspection-Execution Gap in Agent Skill Scanners
Agent skills combine instructions with executable resources, giving third-party packages access to an agent's runtime.MRCert: Towards Post-deployment Patch Robustness Certification for Adversarially Patched Samples via Type-specific Masking
In post-deployment time, inputs to deep learning models may or may not be adversarially patched.TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution
Large language model (LLM) agents are rapidly reshaping software engineering, accompanied by an explosion of new code benchmarks.WorldBench: Evaluating LLMs on Three.js Voxel World Generation
Large language models can now write complete, interactive 3D worlds as code, but grading those worlds automatically is unreliable.Agent4RE: A Self-Refining Multi-agent Framework for End-to-End Software Requirements Engineering and Benchmarking
Existing LLM-based approaches for software Requirements Engineering (RE) typically rely on basic prompting strategies or rudimentary agent collaboration, under-utilizing the full potential of…Ruleless Digital Twins: Toward Declarative Decision-Making Through Standardized Frameworks and Technologies
Digital twins (DTs) can be thought of as digital counterparts of physical objects, or more generally, twinning targets (TTs).Has LLM Screening Performance Stalled in Software Engineering Systematic Reviews?
Screening in systematic reviews (SRs) is manual and time-consuming.