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 40
Leakage-Resistant Evaluation of AI-Generated Database Specifications in Specification-Driven Migration
This paper presents a leakage-resistant framework and benchmark (LRFB) for measuring evaluators of AI-generated Oracle PL/SQL specifications.Meta-Reflective Evolution Effectively Improves Production AI Systems
Large Language Model (LLM)-guided evolutionary optimization has successfully improved prompts, programs, and even entire AI systems.SWEeper-Bench: Can Agents Discover Bugs in Interactive Software?
Coding agents increasingly interact with users by generating interactive software on the fly rather than replying in text, yet many bugs in such software reveal themselves only after multi-step…Vibe Coding with Google AI Studio Case Study
This paper presents a case study on using Google AI Studio (version Pro) to vibe code a medium-complexity software application by a non-programmer who, moreover, needs it in a language other than…A Survey of Security Research for Operating Systems
In recent years, information systems have become the social infrastructure, so that their security must be improved urgently.Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration
The computation of the vertices of a polyhedron described by a system of linear inequalities is a central problem in polyhedral computation.Who Broke Me? Execution-Guided Repair of Behavioral Dependency Breaks
Dependency upgrades can break downstream projects without changing the library interface.Beyond FAIR: A Fitness Function Framework for Sustainable Research Software
Research software sustainability is often assessed through the FAIR principles: findability, accessibility, interoperability and reusability.GRAML: Graph-Grounded Reasoning and Multi-Task Learning for LLM-Based Software Vulnerability Detection
Large Language Models (LLMs) have been widely applied to software vulnerability detection.Coding-Agent Benchmarks Should Match Their Users' Task Flows
The evaluation of coding agents generally strives to be as realistic as possible.Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification
Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers.Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
Cyber resiliency in edge-IoT deployments is fundamentally an economic problem: detection must keep critical processes operating under attack, but defender resources (compute, bandwidth, operator…A Chat Assistant for Software Exploration in a 3D Software Visualization
We present a chat assistant for interactive software exploration, embedded in the 3D software visualization tool ExplorViz.Analysis and Visualization of the Linux Kernel's Software Evolution Using the City Metaphor
The Linux kernel is one of the largest and longest-maintained open source projects in existence.CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs
The EU Cyber Resilience Act (CRA) turns product cybersecurity into a lifecycle compliance obligation for manufacturers, importers, distributors, and integrators of products with digital elements on…AgentTracer: Tracing Indirect Prompt Injection Attack through Fine-Grained Intention-Execution Alignment
Large language model (LLM) agents interact with external resources to complete complex user tasks, exposing them to indirect prompt injection (IPI), where malicious instructions redirect agents…Designing Collaborative AI-Driven Workflows for Scientific Software Engineering
Agentic artificial intelligence systems can carry out a broad range of tasks in software engineering and scientific research, from writing and translating code to running workflows for data analysis…Comprehension Audits to Mitigate Risks from Automated AI Research
AI is already writing a majority of code for frontier AI labs.AdaT$^2$: Adaptive Test Transformations for Black-Box Boundary Testing of Conversational Agents
Conversational agents based on large language models (LLMs) must comply with policies.On the Reliability of LLM-Based Vulnerability Patching Benchmarks
Large language models (LLMs) have shown strong potential for automated vulnerability patching, but current benchmarks can substantially distort reported performance.