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 10
A Failure Mode Taxonomy and Severity Model for Ethereum Smart Contracts
Smart contracts are a core component of blockchain systems, but their immutability makes failures in deployed code catastrophic and irreversible.Reparo: Synthesizing and Validating Access Control Policies
Writing correct access control policies for software applications is difficult because it requires expertise in the authorization language and a thorough understanding of the application's…Stuck on Red? Understanding GitHub Actions Failing Streaks
GitHub Actions is the de facto CI/CD service for GitHub repositories.No More Import Errors: Constrained Decoding for Guaranteed Valid Imports in LLM-Generated Tests
One of the most common failure reasons of LLM-based test generation pipelines is import errors.Dittany: Contribution-Guided Repair Framework for MAS Applications
LLM-based multi-agent system (MAS) applications can produce useful intermediate results while leaving task requirements unsatisfied.Claude for Excel is Transformative for Basic Spreadsheet Modeling and Analysis
We used the Claude Excel plug-in to build and analyze spreadsheet models for five semi structured problem statements (including a test-piece teaching case with data in multiple exhibits) and…VerusWeave: A Benchmark for Proof Repair in Concurrent Verus Programs
Concurrent software underpins critical infrastructure, including operating systems and databases, yet thread interactions can have bugs that bypass conventional testing.Software Change Request in AI-Orchestrated Software Evolution: Literature Review and Research Agenda
In the emerging paradigm of holistic AI-orchestrated software maintenance and evolution, large-scale app stores continuously generate exponentially vast Software Change Requests (SCRs) streams…Hardware-Aware Conditional Code in Android Apps
Android OS runs on a highly diverse set of devices, spanning entry-level phones and flagships with substantially different hardware characteristics, including memory capacity, processors, displays…Autoformalization for Ambiguous Inputs: Precision, Coverage, and Cost across SQL and Logical Forms
Agentic systems translate natural-language requests into executable artifacts while managing ambiguity and inference cost.Agent Stack for ML Training Lifecycle: Generation, Validation, and Optimization
Production model development requires repeated architecture design, platform integration, debugging, training, and evaluation.A Compact Formula-Aware Spreadsheet Abstraction for Large Language Models
Large language models (LLMs) are increasingly used to assist spreadsheet users with tasks such as spreadsheet model construction, formula generation, and data analysis, yet their interaction with…A Multi-Modal Robotic Framework for Physical GUI Interaction Testing
Automated testing of mobile applications remains challenging when realistic user interactions must be reproduced and GUI behavior verified without relying on invasive mechanisms such as…Do Open-Source Video Ad Clients Follow VAST 4.3? An Empirical Study of Player Conformance
Video ads reach streaming and connected-TV apps through VAST documents, and companies count ads from the HTTP requests the player's client library sends.PyReprism: A Shared Lexical Foundation for Polyglot Code Analysis
Empirical studies of polyglot repositories apply the same analyses to every language of a corpus, such as separating code from comments, computing metrics, normalizing identifiers, and screening for…Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification
Continuous-integration evidence is conditional: a workflow determines which jobs should run, while an archive records which jobs remain observable.QSoftCore: A Conceptual Foundation for Quantum Software Engineering
Quantum software engineering (QSE) requires understanding application requirements, quantum programs and algorithms, quantum computation paradigms, executions, and deployment.Well-Specified and Well-Tested? Assessing SWE-bench-Style Datasets with a Self-Evolving Agent
Large language models (LLMs) have shown strong performance on software engineering (SE) tasks, driving the need for high-quality datasets for reliable training and evaluation.Soei: Structured Observability of Evidence and Intent for Multi-Agent AI Software Engineering
AI coding agents now do long, multi-step and multi-session software work with little supervision.Program Bindings Inside Code Models
Code language models complete, review, and repair programs without exposing the program structure encoded in their hidden states.