Conceptio
›
software-engineering
Topic
software-engineering
Knowledge-graph topic
· documents ABOUT software-engineering across the archive
3,356
Documents about software-engineering
Documents about software-engineering
Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
#195552
arXiv CS
PBT-Bench: Benchmarking AI Agents on Property-Based Testing
#195561
arXiv CS
MemRepair: Hierarchical Memory for Agentic Repository-Level Vulnerability Repair
#200563
arXiv CS
Task Abstention for Large Language Models in Code Generation
#200576
arXiv CS
CriterAlign: Criterion-Centric Rationale Alignment for Code Preference Judging
#204844
arXiv CS
DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
#204850
arXiv CS
On-the-Fly Input Adaptation for Reliable Code Intelligence
#204852
arXiv CS
MOCHA: Multi-Objective Chebyshev Annealing for Agent Skill Optimization
#204853
arXiv CS
Prompt Optimization for LLM Code Generation via Reinforcement Learning
#204858
arXiv CS
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
#216886
arXiv CS
SpecBench: Measuring Reward Hacking in Long-Horizon Coding Agents
#216902
arXiv CS
RSE of a Quantum Transport Code and its Effects
#216905
arXiv CS
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
#229570
arXiv CS
PR-Aware Automated Unit Test Generation: Challenges and Opportunities
#229587
arXiv CS
GUITestScape: Towards Open-set Evaluation on Exploratory GUI Testing
#241565
arXiv CS
Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence
#241571
arXiv CS
A Minimal Executable Proof for Multi-Language Contract Traceability
#241573
arXiv CS
Multi-Agent LLM-based Metamorphic Testing for REST APIs
#241578
arXiv CS
Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
#241581
arXiv CS
SWE-InfraBench: Evaluating Language Models on Cloud Infrastructure Code
#259561
arXiv CS
Latent Anchor-Driven Test Generation for Deep Neural Networks
#259574
arXiv CS
Secure Software Engineering OER Initiative
#249846
DigitalCommons@University of Nebraska
Evaluating LLM-Based 0-to-1 Software Generation in End-to-End CLI Tool Scenarios
#2702
arXiv CS
A Pilot Study on Detecting Software Design Patterns with Large Language Models: An Empirical Evaluation
#120603
arXiv CS
Evaluating Software Defect Prediction Models via the Area Under the ROC Curve Can Be Misleading
#124113
arXiv CS
From Early Adoption to Sustained Use: Understanding GenAI Usage Among Software Developers in Italian SMEs
#229576
arXiv CS
Replication Package: Automated Issue Report Classification with Retrieval-Augmented Prompting and Fine-Tuning
#197983
Figshare
Computer Systems Security
#67378
MIT OpenCourseWare
Secure Hardware Design
#67400
MIT OpenCourseWare
AFGNN: API Misuse Detection using Graph Neural Networks and Clustering
#2675
arXiv CS
ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision?
#2677
arXiv CS
To Copilot and Beyond: 22 AI Systems Developers Want Built
#2678
arXiv CS
Program Analysis Guided LLM Agent for Proof-of-Concept Generation
#2686
arXiv CS
VertAX: a differentiable vertex model for learning epithelial tissue mechanics
#2696
arXiv CS
Babbling Suppression: Making LLMs Greener One Token at a Time
#2701
arXiv CS
Do AI Coding Agents Log Like Humans? An Empirical Study
#6027
arXiv CS
Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
#10409
arXiv CS
$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
#10410
arXiv CS
Sema Code: Decoupling AI Coding Agents into Programmable, Embeddable Infrastructure
#10426
arXiv CS
MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
#10450
arXiv CS
Structural Anchors and Reasoning Fragility:Understanding CoT Robustness in LLM4Code
#13169
arXiv CS
LLM-Based Automated Diagnosis Of Integration Test Failures At Google
#13173
arXiv CS
ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
#13176
arXiv CS
$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
#13177
arXiv CS
Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
#14092
arXiv CS
TORAI: Unsupervised Fine-grained RCA using Multi-Source Telemetry Data
#14097
arXiv CS
ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering
#19083
arXiv CS
Graph-Based ECO and Patch Generation for High-Level Synthesis
#19084
arXiv CS
Investigating Conversational Agents to Support Secondary School Students Learning CSP
#31332
arXiv CS
CodeMMR: Bridging Natural Language, Code, and Image for Unified Retrieval
#31340
arXiv CS
← Previous
Page 7 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.