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 58
Formal Model Construction Guided by Model-Based Proof Sketches
Formal modeling provides strong guarantees about system correctness, but developing and repairing formal models remains labor-intensive and requires substantial expertise in logic and formal…A Lightweight Ethereum Voting Prototype for Hospital Ethics Committees with Receipt-Based Inclusion Verification
This paper presents a Solidity, Hardhat, React, MetaMask, and ethers.js prototype for hospital ethics committee voting.Style, Not Self: Surface Cues Explain Zero-Shot Code Attribution by Large Language Models
If a language model can recognize code it wrote, it may favor that code as a judge, and instances of one model monitoring each other could collude.Era by Eon: Benchmarking Enterprise Agents on Hidden Knowledge
In the Era by Eon benchmark, each question states the rules for its answer, and code computes the answer from a generated company's data.Evaluating Agent Skills for Version-Specific Plugin Migration: A Retrospective Study
Agent skills package version-specific maintenance knowledge for coding agents, but a higher diagnostic score does not by itself show that the resulting migration advice satisfies the target…NEUROTESTGEN: Neuro-Symbolic Guided Test Generation with Large Language Models
Ensuring high structural coverage remains a fundamental challenge in automated test generation, particularly for complex software systems where reaching specific lines or branches requires…Jev-Mobile: Jev as an Executor for Mobile GUI Agents
Vision-language models (VLMs) have become a common foundation for autonomous mobile GUI agents, but most existing systems rely on the VLM for both planning and action grounding at nearly every…Jev in the Wild: A Data-Driven Analysis of the Jev Model's Functionality, Applications and Ecosystem
Jev is a fast, low-cost decision model that answers natural-language questions with choices, binary judgments, and scores.Requirement-Bound Verified Commissioning: A Frozen Four-Billion-Parameter Local Model as a Candidate Generator under an External Acceptance Layer with Verification and Release Authority
An acceptance protocol is developed for sensor-coordinate and polarity binding in mechatronic commissioning.What Will Remain Human in Software Architecture? A Focus Group Report
AI development agents are increasingly used to support and partially automate software architecture tasks.Untangling the Spaghetti Code in Game Development: A Review of Challenges and Academic Solutions
The code quality in the game domain is perceived as less structured and more convoluted than in other domains, which results in lower maintainability and higher bug frequency.Evaluating Code Recommender Systems: A Review
Code recommender systems (CRSs) are specialized software systems operating on source artifacts to provide automatically generated recommendations to software developers in all phases of development.Closing the Loop: Continuous Measurement-Driven Refinement of Offloading Predictions
Modern vehicles increasingly offload computation- ally intensive perception and decision functions to backend servers, requiring accurate predictions of absolute performance metrics such as…EA-Ops: Git-Native Architecture as Code for Continuous Enterprise Architecture Governance
Enterprise architecture (EA) repositories frequently separate architecture models from the engineering workflow used to change software and infrastructure.SMARtCARE: Privacy-Preserving Agentic AI Systems for Bounded-Autonomy Clinical Decision Support
Long-context clinical AI systems can miss relevant patient history when prior admissions fall outside the active reasoning context.Beyond Rule-Based Mutation Testing: Test-Aware Mutant Generation Using Large Language Models
Mutation testing evaluates test-suite adequacy by injecting synthetic faults into program code.Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control
Compiler optimizations traditionally rely on handcrafted heuristics that often fail to generalize across programs and architectures.From PyTorch to the NPU: LLM-Agent-Driven Model Conversion Across Heterogeneous Inference Runtimes
Edge AI model deployment is a multi-stage engineering process involving model conversion, operator compatibility handling, runtime integration, and precision verification.Specifying and Maintaining Agentic Workflows: An Empirical Study of GitHub Agentic Workflows
Agentic workflows shift software development from prompting AI agents for individual tasks to defining recurring work that agents execute automatically.Teach-to-Crash: A Closed-Loop Student-Teacher LLM Framework for Collision-Inducing Test Scenario Generation
Validating Autonomous Driving Systems (ADS) in simulation requires testing architectures that can discover rare, safety-critical failures while generating scenarios that are executable, diverse, and…