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 42
Visible Reasoning Is Not a Universal Optimizer: Persona- and Thinking-Dependent Effects in Analytics Code Generation
Visible Chain-of-Thought (CoT) is often treated as a broadly useful reasoning instruction, yet analytics code generation combines natural-language ambiguity, schema grounding, target-language…SoK: Failure Modes in Common Criteria Product Evaluation - A Taxonomy and Design-for-Evaluability Guidance
The Common Criteria (CC; ISO/IEC 15408) is the principal international framework for evaluating the security of IT products, and its certificates gate procurement across government, defense, and…Can LLMs Simulate Novice Programmers' Misconceptions?
We evaluate 13 LLMs on generating, solving, simulating, and diagnosing novice programming misconceptions on code-tracing problems.Applying Security by Design at the Point of Execution: How Governed Security Requirements Affect the Security of AI-Generated Code
Security by design asks that security requirements are defined before code is written.DITTO: A Context-aware Pickle-based Pre-Trained Model Scanner for Effective Security Audits
Pre-trained models (PTMs) are widely distributed as serialized binaries, but their reuse often exposes software supply chains to deserialization attacks.When Flaws Cascade: Understanding Vulnerabilities and Exploitation Chains in JavaScript Engines
JavaScript engines are pivotal to modern web browsers, enabling the execution of dynamic and interactive web applications.Cross-Provider Review as a Runtime Contract for Coding Agents: A Controlled Pilot and Fault-Injection Study
Coding agents increasingly share a workstation while drawing on separate providers and subscription allowances.Probabilistic Sensing, Deterministic Authority: Admitting Model-Produced Observations into Sufficiency-Checked Governance Contracts
When a field that an authority contract needs exists only in unstructured evidence, a model can sense it.CTML: A Comprehensive Framework for Continuous Testing in Machine Learning Operations
The increasing use of machine learning (ML) systems in production has highlighted some important weaknesses in traditional software testing methods.The EPIC Framework for Spec-Driven Development
One practitioner we interviewed said their team writes "must" instead of "should" when instructing a coding agent, because the agent may treat "should" as optional.CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement analyzer-specific logic, and refine the checker through repeated compilation…CISB-Bench: An Auditable Source--IR Dataset of Compiler-Introduced Security Bugs
Compiler-introduced security bugs (CISBs) arise when an optimization, lowering, or instrumentation decision changes a security-relevant property of the generated program.HarnessSecurity-Bench: Do Security Mechanisms Really Protect Coding Agent Harnesses?
Coding agent harnesses mediate tool use and authorize actions, yet their security mechanisms and runtime effects remain incompletely characterized.When Old Facts Return: Re-Reads, Reverts, and the Limits of Temporal Memory
A memory system can retire an obsolete value and later restore it merely because the same old statement appears again.Acquiring and Verifying Repository Norms for Coding Agents
Changes produced by coding agents can pass functional tests while leaving repository contribution requirements unmet.ES-Trace: Auditing Ethical-Sourcing Disclosure of Code Generation Models Beyond Model Cards
Code generation models have been increasingly used in software development, but their development raises ethical-sourcing concerns involving intellectual property, privacy, fairness, labour…Harness Engineering for Software Engineering via Modular Executable Dev-Primitives
Large language models (LLMs) equipped with terminal access have demonstrated strong capabilities in automating software engineering tasks.Online Sign Language Interpretation System
The Walloon Region commissioned this study to improve deaf people's access to public services for the new millennium.FC-SWE: Failure-Conditioned RL for Long-Horizon Software Engineering Agents
Repository-level software engineering (SWE) is a challenging long-horizon setting: agents must reason over extended interactions, use tools, and adapt to stateful environments.When Tools Lie: Reliability of Mathematical Agents Under Corrupted Tool Feedback
Mathematical problem solving often requires deterministic computational steps that agents delegate to tools and implicitly trust.