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 28
Compilation Is Not Correctness: Scan-by-Scan Evaluation of LLM-Generated PLC Programs
Programmable logic controllers (PLCs) automate industrial processes through repeated scans, each reading inputs, executing control logic, and updating outputs.Benchmarking the Quantum Leap: Auditing LLM Evaluation for Quantum Code Generation
Large language models (LLMs) can generate quantum programs, but reliable evaluation remains difficult because benchmarks differ in task composition, scoring, and failure handling.VerifierBench: Benchmarking the Generation of Executable Verifiers for LLM Agents
Agents need reliable ways to validate their outputs, both when completing tasks and when filtering synthetic training data.Runtime Semantic Discovery for Evolving Action Alphabets
Runtime Verification typically assumes a fixed alphabet of observable actions.Who Approved This? Coding Agents, Human Accounts, and Merge-Gate Evidence at a Fintech Startup
From 3 October, every non-bot merge into our main branch passed a non-author review gate, yet 71 of those 263 merges (27%) rested only on an approval that a coding agent had submitted through the…Deep Search in Real-World Web Environments
Despite substantial progress in Deep Search agents, their ability to conduct end-to-end research in real-world open Web environments remains insufficiently evaluated.Theory of Developer Momentum: The Developer's Experience of Progress and the Craft of Maintaining Motion
This paper introduces a Theory of Developer Momentum that helps us see the activity of developing software in motion and the skilled craft through which progress unfolds.Over-Defense in Coding Agents Begins at Silent Forks
Language models behind coding agents are post-trained with outcome rewards, and recent methods concentrate credit on the turns that decide the outcome.Which Code Changes Need Re-embedding? CIPBench and the Limits of Multi-Signal Index Maintenance
Repository-level retrieval-augmented generation systems must keep vector indexes synchronized with continuously evolving code, yet there is no principled basis for deciding which changed code units…Many Repairs, One Direction: Steering Code Models Toward Safer Cryptographic API Use
Cryptographic API misuse in large language model-generated code can compromise software security.Noise-Awareness in Quantum Software Testing: An Empirical Landscape Analysis
Noisy Intermediate-Scale Quantum (NISQ) hardware has transformed quantum computing into a practical experimental platform while introducing fundamental challenges associated with hardware noise…Beyond Similarity-Based Generation: Guiding Commit Message Generation with Issue-Commit Traceability
Commit messages provide records of code changes and help developers understand and maintain software.From Software History to Executable Regression Tasks: A System for Evaluating Software Agents
As software agents increasingly generate and modify code, evaluating their ability to review changes and discover defects becomes important.Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly.Effective Construction of Feature Database of Fingerprinting Functions for Code-Clone SCA
In contemporary software development, the extensive adoption of third-party libraries has become standard practice to avoid reinventing the wheel.Backend-Frontend Converter: Component-Based Conversion of .NET Computational Models to TypeScript
Computational models developed in .NET often need to run locally within web applications.When Code Becomes an LLM Call: An Empirical Study of Call-Site Contracts in Agentic Systems
Software quality has long rested on specifications that state what code must do, and on testing and verification that check that the code does it.From Candidate Admission to Task-Level Return: Auditing LLM-Generated Code under Execution Contracts
Admission rules retain generated programs, whereas selection policies return one candidate per task.Narratives Mislead: An Empirical Study of How LLMs Misjudge CVSS Severity in Bug Bounty Reports
Bug bounty platforms receive vulnerability reports faster than vendors can triage them, and Large Language Models (LLMs) are increasingly considered for assigning the Common Vulnerability Scoring…Vibenix: Agentic Software Packaging and Maintenance with Nix
Implicit dependencies, uncontrolled network access, and other build-environment impurities create intransparent software supply chains.