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 62
Improving Service Availability in KubeEdge-Based Architectures Using Lightweight Intrusion Detection
The increasing adoption of the Internet of Things (IoT) and cloud computing has accelerated the evolution of edge computing paradigms [1].Stage-Supervised Latent Reasoning for Single-Shot JavaScript Deobfuscation
JavaScript obfuscation is widely used to protect code, but it also makes program analysis and security review substantially harder.Does Graph Structure Earn Its Place in Microservice Root-Cause Analysis? A Controlled Study on RCAEval, and What the Benchmark Was Really Measuring
Graph neural networks dominate recent work on microservice root-cause analysis, yet recent results question whether the graph contributes.Solidity Meets LLMs: A Transformer-Based Approach to Smart Contract Vulnerability Detection
The growing adoption of blockchain technologies, particularly the Ethereum platform, has amplified the critical role of smart contracts in decentralized applications.Synthesizing Proofs Using Proof Sharding and Exploration
Distributed systems are hard to implement correctly, and subtle bugs can go undetected using traditional testing.Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec.A Carbon-Aware Quantum Computing Framework for LCA-Driven Sustainability in Quantum Cloud Services
Quantum computing's environmental footprint remains poorly understood relative to classical infrastructure, and as quantum computing moves toward cloud delivery, Quantum Cloud Service (QCS)…Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Test oracles for quantum transpilers typically judge correctness by comparing compiled output against a reference: a statevector, a sampled distribution, or a unitary compared modulo global phase.Evaluating the effectiveness of class-level LLM-generated test suites in Python
Large language models (LLMs) can generate unit tests quickly, but high structural coverage does not establish that those tests execute reliably or detect faults.A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approach
AI coding agents increasingly support software development beyond code completion, including planning, implementation, testing, and repository-level task execution.Trajectory-Aware Benchmark Subset Selection for Cost-Efficient Software Engineering Agent Regression Testing
Autonomous software engineering agents (SWE-agents) automate coding tasks.TAILOR: Template-Preserving Augmentation for Long-Tailed Log Parsing
Log parsing is essential for system log analysis because it supports tasks such as debugging, monitoring, and anomaly detection by transforming unstructured log messages into structured log templates.SSP-Bench: A Hybrid Data Generation Framework for Safety, Security, and Privacy Evaluation
Evaluation of large language models (LLMs) for safety, security, and privacy (SSP) relies heavily on static benchmarks, which suffer from score saturation, data contamination, and aggregation…Extending FunctionGemma for Practical On-Device Mobile Function Calling
On-device assistants require function-calling models that map natural language to local system actions, but existing resources emphasize web APIs or narrow mobile-action catalogs.Passes Alone, Fails Together: Benchmarking Semantic Coordination in Parallel LLM-Agent Development
Parallel coding agents can produce patches that work alone but fail when merged.Modular Composition of Inductive Types Using Lean Meta-programming
Inductive types are ubiquitous building blocks in many programming and theorem proving languages.Spec2COBOLRot: An Agentic-AI Degradation Loop for Realistic COBOL Corpus Generation
COBOL remains widely deployed, yet representative corpora reflecting real production code are rarely available, limiting rigorous benchmarking of modernization approaches.Silent Failures in Agent-Tool Interaction: An Audit of ToolUniverse
Agentic AI systems are increasingly adopting automated pipelines that integrate multiple tools.A Hybrid Rule-Based and AI-Augmented Framework for Automatic Failure Recovery in DevOps Deployments
Automatic failure recovery is another difficult area of DevOps deployments due to the complexity of the system, high workload and the limitations of the traditional rules-based or manual approach.Specification Before Generation: A Pre-Registered, Five-Model Paired Evaluation of a Specification Frame for LLM-Generated Code in Money, Time, Idempotency, and Access Tasks
Code generated by large language models passes security checks at a rate that has barely moved in four years.