Conceptio
›
software-architecture
Topic
software-architecture
Knowledge-graph topic
· documents ABOUT software-architecture across the archive
2,242
Documents about software-architecture
Documents about software-architecture
Teaching LLMs Program Semantics via Symbolic Execution Traces
#168378
arXiv CS
Step Rejection Fine-Tuning: A Practical Distillation Recipe
#175318
arXiv CS
Combining Mechanical and Agentic Specification Inference for Move
#175329
arXiv CS
TeleResilienceBench: Quantifying Resilience for LLM Reasoning in Telecommunications
#175331
arXiv CS
Generating Complex Code Analyzers from Natural Language Questions
#175341
arXiv CS
Containment Verification: AI Safety Guarantees Independent of Alignment
#175347
arXiv CS
ReproBreak: A Dataset of Reproducible Web Locator Breaks
#178937
arXiv CS
Scalable Deductive Verification of Data-Level Parallel Programs
#180717
arXiv CS
Robust Mutation Analysis of Quantum Programs Under Noise
#180722
arXiv CS
Fine-Tuning Models for Automated Code Review Feedback
#180735
arXiv CS
Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
#187382
arXiv CS
CA2: Code-Aware Agent for Automated Game Testing
#187386
arXiv CS
BootstrapAgent: Distilling Repository Setup into Reusable Agent Knowledge
#195549
arXiv CS
Runtime-Structured Task Decomposition for Agentic Coding Systems
#195555
arXiv CS
From I/O to Code with Discovery Agent
#195556
arXiv CS
BLAgent: Agentic RAG for File-Level Bug Localization
#200550
arXiv CS
Verifier-Guided Code Translation via Meta-Step Decoding
#200555
arXiv CS
Optimizing an IDE for an Evolving Language Ecosystem
#200581
arXiv CS
QUTest: A Native Testing Framework for Quantum Programs
#204843
arXiv CS
MuMuTestUp: Mutation-based Multi-Agent Test Case Update
#204854
arXiv CS
ACL-Verbatim: hallucination-free question answering for research
#216909
arXiv CS
LLM-based Mockless Unit Test Generation for Java
#229562
arXiv CS
TrajAudit: Automated Failure Diagnosis for Agentic Coding Systems
#229568
arXiv CS
REPOT: Recoverable Program-of-Thought via Checkpoint Repair
#241558
arXiv CS
TagDebt: A Bot to Support Technical Debt Management
#241562
arXiv CS
ParaTool: Shifting Tool Representations from Context to Parameters
#241564
arXiv CS
Offloading Score: Measuring AI Reliance Through Counterfactual Workflows
#241568
arXiv CS
Automating Formal Verification with Agent-Guided Tree Search
#241591
arXiv CS
DeployBench: Benchmarking LLM Agents for Research Artifact Deployment
#259568
arXiv CS
SWE-Explore: Benchmarking How Coding Agents Explore Repositories
#266239
arXiv CS
MetaConfigurator: AI-Assisted RDF Authoring from JSON Data
#266241
arXiv CS
Modeling Components and Connections in Cyber-Physical Systems
#267707
arXiv CS
An Empirical Comparison of General Context-Free Parsers
#267726
arXiv CS
MOLOT System Card: Malicious Operational Logic Observation Transformer
#267741
arXiv CS
FastContext: Training Efficient Repository Explorer for Coding Agents
#271904
arXiv CS
A Framework for Evaluating Agentic Skills at Scale
#282849
arXiv CS
Unlocking LLM Code Correction with Iterative Feedback Loops
#282855
arXiv CS
LLM-as-Code Agentic Programming for Agent Harness
#282880
arXiv CS
ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs
#282882
arXiv CS
CEO-Bench: Can Agents Play the Long Game?
#287194
arXiv CS
Designing L5: A Permacomputing Approach to Creative Coding
#287196
arXiv CS
Grounded Inference: Principles for Deterministically Encapsulated Generative Models
#290651
arXiv CS
Before the Pull Request: Mining Multi-Agent Coordination
#290654
arXiv CS
OpenRath: Session-Centered Runtime State for Agent Systems
#290658
arXiv CS
A Comparative Study of Semantic Log Representations for Software Log-based Anomaly Detection
#2671
arXiv CS
Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
#10451
arXiv CS
The Semi-Executable Stack: Agentic Software Engineering and the Expanding Scope of SE
#31345
arXiv CS
Conjecture and Inquiry: Quantifying Software Performance Requirements via Interactive Retrieval-Augmented Preference Elicitation
#126587
arXiv CS
Closing the Loop: A Software Framework for AI to Support Business Decision Making
#138999
arXiv CS
Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
#155358
arXiv CS
← Previous
Page 5 of 20
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.