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 57
Specification-Driven Benchmarking for Automated Program Repair From Static Corpora to Executable Specifications
Automated Program Repair (APR) benchmarks have traditionally been constructed as static datasets whose characteristics are inherited from the defects they contain.Automatic Harness Evolution for Hardware Design Verification: Can LLMs Consolidate Gains Across Discovered Harnesses?
Agent behavior depends on the harness surrounding a language model, but it remains unclear whether language models can reliably improve such harnesses for hardware-design tasks.Calibrated Decision Models for Autonomous Penetration-Testing Harnesses: JEV and Laya as System One Decision Layers for LLM-Driven Pentest Agents
Autonomous penetration-testing harnesses use large language models (LLMs) for reconnaissance, exploitation, and reporting, but often rely on those same models to confirm findings, grade severity…Human-AI Collaboration for Multi-Line Task Adjustment Using Local Large Language Models and a Digital Twin
Automation systems must adapt to changing tasks, equipment states, and staffing conditions while providing evidence for human review.Design, development, and preliminary validity and reliability evidence of the Software Engineering Self-Efficacy Scale (SESES)
The purpose of this research is to design, develop, implement, and provide preliminary validity and reliability evidence of the Software Engineering Self-Efficacy Scale (SESES).Where Does Exactly-Once Live? Model, Harness, and Tool-Contract Effects on Duplicate Side Effects in LLM Agents
When a tool-using agent's write times out or returns a server error, the action may already have taken effect.VidTutorAssistant: Automating Responses to Programming Tutorial Questions
Programming tutorial videos on YouTube are an important information resource for software developers and students, and their comment sections have evolved into active spaces where viewers ask…Orchestrating AI-Assisted Code Remediation: Socio-Technical Bottlenecks in a Large Industrial Repository
Code degradation in large, long-lived codebases is costly to remediate through manual refactoring and opportunistic clean-ups.HistoRAG: A Citation-Grounded Question Answering Assistant for Teaching with Scanned Local History and Heritage Archives
Teachers who prepare lessons on local history and cultural heritage work from material that is hard to use.On the Impact of Requirement Smells in LLM-Based Code Generation
Software requirements are typically incorporated into prompts used in LLM-assisted software development.Model-Based Retargeting to Many-Core CPS: Simulink-to-OpenCL Workflow
This paper addresses the software portability gap between Model-Based Development (MBD) and advanced many-core execution for Cyber-Physical Systems (CPS).The Last Human Gate: Forward Deployed Engineering for Governance Automation
Enterprise governance requires decisions, evidence, and accountable authority; it does not require every review task to retain its current human implementation.Large Language Models for Programming: Actually Fixing or Reimplementing Incorrect Code?
Recent studies have shown that Large Language Models can effectively solve problems and fix bugs in diverse programming environments, including competitive programming.Demystifying Agent Skills for Smart Contract Auditing: Design, Effectiveness, Behavioral Impact
LLM agents, notably Claude Code and OpenAI Codex, are emerging as versatile tools beyond coding agents only.SWE-Prometheus: Measuring Engineering Governance Improvements in Real-World Repositories
Large language model based coding agents have made substantial progress on repository-level software engineering tasks.Judgment-Centred Software Engineering Education: A Post-Hype Review and Framework for AI-Augmented Learning
Generative artificial intelligence has moved from a disruptive novelty to a recurring part of software-development and computing-education workflows, while software agents are beginning to act…CodeGraph: Open-Taxonomy Knowledge Graph for Source Code with Wikidata Grounding
Public software repositories, like GitHub and Software Heritage Archive, store billions of files, yet extracting their implicit engineering knowledge ---i.e., the algorithms they implement, the…Automated Abstraction Refinement for Information Flow Security in Embedded Systems
Information flow analysis (IFA) is a powerful technique for verifying confidentiality and integrity and is therefore highly desirable for security-sensitive embedded systems.Between the Commits: Process, Error, and Claim Reliability in a Wholly AI-Authored Codebase
We present: (i) a new dataset consisting of the full development history of a 21,000-line Python tool built entirely by Claude AI, with no human-authored code or tests, (ii) two code-provenance…SWE-PolyVision: Benchmarking Cross-Image Abductive Reasoning for Repository-Level Software Engineering
Current multimodal software-engineering benchmarks expose images as additional context, but do not test whether an agent can integrate evidence distributed across images into a verified…