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 24
DynaCI: Generating GitHub Actions Workflows via Dynamic Analysis
Continuous Integration (CI) is an essential practice that automatically validates code changes through builds and tests.FaultGene: LLM-Assisted Fault-Augmented Test Generation for Hardware-in-the-Loop Validation of Autonomous Driving Systems
Reliable validation of autonomous driving cyber-physical systems requires testing not only nominal driving behavior but also failures arising from faults in sensing and embedded computation.HiddenLens: A Multi-Layer LLM Framework for Detecting and Resolving Hidden Assumptions in Software Requirements
Natural-language software requirements often omit assumptions about performance, operating conditions, user behaviour, and domain constraints, affecting architecture, testing, and deployment.Code Comprehensor: Hierarchical Documentation and Cross-Modal Retrieval for Large Repositories
Understanding large, complex, and rapidly evolving code bases remains a core challenge for software engineering at scale, hindering onboarding, maintenance, refactoring, and impact analysis.SWE-DIVE: Multi-Turn Coding Agent Evaluation with Dynamic User Simulation
Coding agents are typically evaluated using one-shot, well-formulated prompts.Validating Autoformalized Specifications via Contrapuntal Languages
Formal specifications can make AI-generated code mechanically checkable.Detection Is Not Enough: Reasoning Traces as Testable Program Hypotheses
When a language model is deployed, no reference solution exists, so the reasoning trace it writes is the only evidence for judging its answer.A Consolidated Deployment Edition of a Microservice Core-Banking Platform: Composing Services by Reference into Three Hosts
Microservices give teams independent deployment and scaling, but each deployed service also reserves compute and adds operational work.JANUS: Agentic Cross-Language Fuzzing Harness Generation for Android Native Libraries
Modern Android apps extensively rely on native libraries, bridging Java/Kotlin and C/C++ through the Java Native Interface (JNI).Agentic Architecture of Information Systems. The AAM/5C Model: A Reference Model for Distributed Autonomy
Large organizations increasingly face what this book calls the cognitive complexity wall: at the scale of hundreds of interacting components, maintaining the dependency map and reacting at the pace…How Prompt Style Affects AI Accuracy and Speed in Competitive Programming
Large language models are increasingly used in competitive programming, and their outputs are sensitive to how a prompt is phrased.The Customer Is the Builder: How AI Coding Agents Are Rewriting the Economics of Software
AI coding agents could change whether organizations buy software or build the functionality they need.TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification
Recent reports, such as "Who is using AI to code?", indicate that approximately 30\% of Python code contributions to GitHub are AI-generated.What the Trace Shows and What the Label Says: Auditing Behavioral Detectors in Agent Evaluation
LLM agents are often evaluated by reducing execution traces to labels such as final-answer correctness, tool verification, and fault propagation.From Prose to Properties: Testing Research Claims with ARATest for Agent-Native Science
AI agents now run experiments and report findings, so research produces claims faster than researchers can check them.Can LLMs Improve Their Own Harness? A Controlled Study on ARC-AGI-3
A generally intelligent system acquires new skills efficiently without requiring humans to redesign its software scaffold for every new task.Understanding Tool-Mediated Interaction Failures in Agentic GUI Software: An Empirical Study
Large language model (LLM) agents increasingly complete tasks through live graphical user interfaces (GUIs).Before the Ticket: Grounding HPC User Support in Documentation and Resolved Tickets with an Agentic LLM Assistant
Most questions that reach an HPC help desk have already been answered in the center's user guides or in a ticket someone else filed last semester; users still file new tickets because the guides are…RubricCraft: Where Solutions Diverge, Criteria Emerge
Evaluating language agents on open-ended, artifact-producing tasks is difficult: model-based graders can be inconsistent, while exhaustive programmatic checks are often impractical.Recoverability and Verifier Strength: Two Measured Preconditions for Unattended Agent Self-Improvement
Agent platforms are starting to improve their own agents: they read a deployed agent's execution traces, derive a change, have an automated verifier approve it, and release it with no human author.