Conceptio
›
Archive
›
arXiv CS
arXiv CS
open access
From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance
Unknown
arXiv CS · Papers · License: Open Access
Open Source ↗
Direct PDF ↓
softwarearchitecture
softwareengineering
testing
software engineering, software architecture, testing
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
AURA-Eval: Evaluation Framework for Acting Under Risk Awareness in LLM Agent Trajectories
#668133
Shortcutting the Fix: Identifying and Categorizing Agentic Exploits in Software Engineering Benchmarks
#668134
CAROL: Context-Aware Online Learning for Fuzzer Scheduling
#668135
An Autonomy Aware Metamodel for Human AI Collaboration in Software Engineering
#668136
A Unified Policy Architecture (UPA): The Governance Kernel for Enterprise AI Operating Systems
#668137
Record
· ID 668138
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.