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 68
DepthBenchCAD: When Does Deeper Auditing Yield More Reliable Conclusions?
Generative CAD models are expected to remain behaviorally correct after parameter edits, so increasing the number of edit checks is often treated as a direct route to more reliable evaluation.woma: a real-time foundation model and its fine-tuned models for endoscopy
woma is a real-time foundation model for gastrointestinal endoscopy: a network trained without labels on about a million endoscopy frames, from which task models are fine-tuned.Failure-Guided Co-Evolution of Prompts and Training Data
Automatic prompt optimization (APO) improves language-model programs by revising prompts from task feedback, yet it typically holds its training data fixed.LLM-enabled Behavior Driven Development Workflow for Formally Verified Hardware Designs
Recently, the use of Large Language Models (LLMs) for different tasks in the Electronic Design Automation (EDA) life-cycle has been studied extensively, but an integrated view is lacking.When Digitalization Transforms Itself: AI, Software, and the Next Technical Order
Agentic artificial intelligence (AI) marks a new phase of digitalization: digitalization is beginning to act back upon its own technical production base.Translator vs. Challenger: Adversarial Agentic Learning for C-to-Rust Translation
C-to-Rust translation remains challenging due to the substantial semantic gap between the two languages.Partitioned Co-Simulation for CAD-integrated Vibroacoustic Problems in Unbounded Domains
Vibroacoustic analysis often requires coupling structural and acoustic solvers based on different numerical formulations and discretizations, making monolithic implementations intrusive and limiting…WebCraftBench: Evaluating Web Application Generation from a Software Testing Perspective
Human evaluation provides a direct measure of the quality of LLM-generated web applications.When Tool Calls Succeed but Workflows Fail: Anomalies at the Agent-Tool Boundary
AI agents increasingly execute long-running workflows that externalize effects through independently supplied tools.A Non-intrusive Approach for the Imposition of Strong Dirichlet Boundary Conditions in Unfitted Boundary Meshes
The enforcement of essential boundary conditions is a fundamental challenge in unfitted boundary methods.The Future of Safety for SaMD
An artificial organ carries failure consequences on the scale of an aircraft or a reactor, but the software driving it is rarely held to the same standard.Technostress in the Age of AI: A Preliminary Study with Software Professionals
The rapid adoption and evolution of AI are changing software engineering work and requiring professionals to repeatedly adapt their knowledge, practices, and skills.Using Agentic AI for contextualized and multifaceted code review at Ericsson
Conducting effective code reviews is increasingly challenging due to the growing complexity of software systems and the accelerated code generation by AI coding agents.Adversarial Testing of Automated Program Repair Agents for Security Vulnerabilities
Software agents with Large Language Models (LLMs) are designed for Automated Program Repair (APR) tasks, raising the possibility that, in the near future, APR agents will fix bugs automatically…Coaching Qwen3 Coder 30B to Think Like a CodeClash Arena Agent
Large language model coding agents have recently become useful for software tasks, but weaker or open-weight agents still struggle to reliably interpret user intent and execute complex multi-step…Docker Containers vs. Virtual Machines: A Comparative Study of Architecture, Performance, Configuration, and Security
Modern application platforms must isolate workloads while preserving deployment speed, portability, resource efficiency, and security.AgentGuard: Learning Execution Guardrails from Anomalous Coding-Agent Trajectories
AI coding agents increasingly rely on execution harnesses to interact with repositories and external tools.Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change
When a coding agent returns to existing software, it inherits evidence from earlier engineering work: tests, type checks, proofs, static analyses, and traces.Cognitive Admission Control: Risk-Conditioned Assurance for Consequential Actions in Agentic Distributed Systems
In agentic distributed systems, an agent may be authorized to mutate external infrastructure while lacking evidence that the mutation is ready to execute.FairLint-DL: An IDE-Native Tool for Fairness Debugging of Deep Learning Software
Existing fairness analysis tools predominantly operate as post-training evaluation frameworks, requiring practitioners to complete the full model development lifecycle before assessing bias.