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
MUCOCO: Automated Consistency Testing of Code LLMs
#124137
arXiv CS
Learning Reasoning World Models for Parallel Code
#126598
arXiv CS
Verifier Warnings Do Not Improve Comprehensibility Prediction
#134616
arXiv CS
Query2Diagram: Answering Developer Queries with UML Diagrams
#139008
arXiv CS
RAT: RunAnyThing via Fully Automated Environment Configuration
#139024
arXiv CS
A Shallow Embedding of Datalog in Lean
#155397
arXiv CS
Agentic Repository Mining: A Multi-Task Evaluation
#168395
arXiv CS
Reproduction Test Generation for Java SWE Issues
#168415
arXiv CS
Unitaria: Quantum Linear Algebra via Block Encodings
#175316
arXiv CS
Uncertainty Quantification for LLM-based Code Generation
#178936
arXiv CS
ContractBench: Can LLM Agents Preserve Observation Contracts?
#200571
arXiv CS
Rover: Context-aware Conflict Resolution with LLM
#200572
arXiv CS
Provable Fairness Repair for Deep Neural Networks
#204849
arXiv CS
A Dataset of Reproducible Flaky-Test Failures
#216895
arXiv CS
AgentAtlas: Beyond Outcome Leaderboards for LLM Agents
#216916
arXiv CS
ProDebug: An Automated Debugging System for Prolog
#229558
arXiv CS
Testing Agentic Workflows with Structural Coverage Criteria
#229569
arXiv CS
CelerLog: Fast Log Parsing via Dynamic Routing
#229575
arXiv CS
Projectional Decoding: Towards Semantic-Aware LLM Generation
#241557
arXiv CS
Laguna M.1/XS.2 Technical Report
#241588
arXiv CS
Evaluating Repository-level Software Documentation via Question Answering and Feature-Driven Development
#2699
arXiv CS
Toward an Architectural Blueprint to Observe Sustainability in and by Software Systems
#6029
arXiv CS
LLMs Are Not a Silver Bullet: A Case Study on Software Fairness
#13162
arXiv CS
Towards Enabling An Artificial Self-Construction Software Life-cycle via Autopoietic Architectures
#14088
arXiv CS
Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
#155372
arXiv CS
An Empirical Study of Proactive Coding Assistants in Real-World Software Development
#168389
arXiv CS
At What Cost? Software Developers' Well-Being in the Age of GenAI
#216887
arXiv CS
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
#229559
arXiv CS
Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
#229573
arXiv CS
Characterizing the Usefulness of Code Review Comments in Scientific Software for Software Quality and Scientific Rigor
#139006
arXiv CS
One Step Further: Understanding PLC Binaries Through Cross-Platform Reverse Engineering and Function-Level Semantic Analysis
#200567
arXiv CS
Operating System Engineering
#66802
MIT OpenCourseWare
Computer System Engineering
#67227
MIT OpenCourseWare
Breaking the Illusion of Identity in LLM Tooling
#2698
arXiv CS
The Need for a Green ICT Reference Framework
#6028
arXiv CS
VulWeaver: Weaving Broken Semantics for Grounded Vulnerability Detection
#10432
arXiv CS
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
#10433
arXiv CS
SWE-Shepherd: Advancing PRMs for Reinforcing Code Agents
#10441
arXiv CS
PatchRecall: Patch-Driven Retrieval for Automated Program Repair
#10442
arXiv CS
Intent-aligned Formal Specification Synthesis via Traceable Refinement
#10445
arXiv CS
Evaluating LLMs Code Reasoning Under Real-World Context
#13159
arXiv CS
Pricing-Driven Resource Allocation in the Computing Continuum
#13161
arXiv CS
CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
#13165
arXiv CS
Prompt-Driven Code Summarization: A Systematic Literature Review
#31348
arXiv CS
Revisiting Code Debloating with Ground Truth-based Evaluation
#120588
arXiv CS
Agentic Frameworks for Reasoning Tasks: An Empirical Study
#120619
arXiv CS
Insights into Security-Related AI-Generated Pull Requests
#124122
arXiv CS
On Reasoning-Centric LLM-based Automated Theorem Proving
#124126
arXiv CS
MathDuels: Evaluating LLMs as Problem Posers and Solvers
#126578
arXiv CS
Generalizing Test Cases for Comprehensive Test Scenario Coverage
#126580
arXiv CS
← Previous
Page 4 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.