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
Compliant But Unsatisfactory: The Gap Between Auditing Standards and Practices for Probabilistic Genotyping Software
#10428
arXiv CS
Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation
#19071
arXiv CS
RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices
#134615
arXiv CS
StartFlow: From Method Conception to Multi-Perspective Evaluation in UX Prototyping for Software Startups
#175315
arXiv CS
ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
#229586
arXiv CS
Empirical Evaluation of Taxonomic Trace Links: A Case Study
#2666
arXiv CS
Test-Oriented Programming: rethinking coding for the GenAI era
#2668
arXiv CS
Automatic Generation of Executable BPMN Models from Medical Guidelines
#2679
arXiv CS
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
#2684
arXiv CS
Assessing REST API Test Generation Strategies with Log Coverage
#2693
arXiv CS
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
#2694
arXiv CS
Real-Time Toxicity Filtering for Open-Source Code Reviews
#6034
arXiv CS
A Longitudinal Study of Dependency Reclassifications in JavaScript Projects
#6035
arXiv CS
Demystifying the Silence of Correctness Bugs in PyTorch Compiler
#6036
arXiv CS
Systematic API Testing Through Model Checking and Executable Contracts
#6038
arXiv CS
ACT: Automated CPS Testing for Open-Source Robotic Platforms
#10411
arXiv CS
Designing Adaptive Digital Nudging Systems with LLM-Driven Reasoning
#10422
arXiv CS
Ambiguity Detection and Elimination in Automated Executable Process Modeling
#10427
arXiv CS
From Helpful to Trustworthy: LLM Agents for Pair Programming
#10449
arXiv CS
Log-based vs Graph-based Approaches to Fault Diagnosis
#14085
arXiv CS
Learned or Memorized ? Quantifying Memorization Advantage in Code LLMs
#14086
arXiv CS
Figma2Code: Automating Multimodal Design to Code in the Wild
#14093
arXiv CS
HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
#19073
arXiv CS
GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
#31346
arXiv CS
Proxics: an efficient programming model for far memory accelerators
#120579
arXiv CS
Agentic Education: Using Claude Code to Teach Claude Code
#120599
arXiv CS
Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
#120602
arXiv CS
DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks
#124114
arXiv CS
Hallucination Inspector: A Fact-Checking Judge for API Migration
#124119
arXiv CS
Absorber LLM: Harnessing Causal Synchronization for Test-Time Training
#126600
arXiv CS
Ethics Testing: Proactive Identification of Generative AI System Harms
#134624
arXiv CS
Measuring the Unmeasurable: Markov Chain Reliability for LLM Agents
#138989
arXiv CS
Diffusion Templates: A Unified Plugin Framework for Controllable Diffusion
#138995
arXiv CS
Vulnerability Identification by Harnessing Inter-connected Multi-Source Information
#139002
arXiv CS
Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery
#139003
arXiv CS
Deep Graph-Language Fusion for Structure-Aware Code Generation
#155362
arXiv CS
Multi-Agent Systems for Root Cause Analysis in Microservices
#155366
arXiv CS
ARGUS: Defending LLM Agents Against Context-Aware Prompt Injection
#155368
arXiv CS
POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference
#155369
arXiv CS
Kerncap: Automated Kernel Extraction and Isolation for AMD GPUs
#155374
arXiv CS
Lightweight Vulnerability Detection from Code Metrics and Token Features
#168416
arXiv CS
Separation Logic for Verifying Physical Collisions of CNC Programs
#175322
arXiv CS
Formal Verification of Imperative First-Class Functions in Move
#175328
arXiv CS
Trajectory Supervision for Continual Tool-Use Learning in LLMs
#175333
arXiv CS
Evaluating LLM-Generated Code: A Benchmark and Developer Study
#175345
arXiv CS
Semantic Voting: Execution-Grounded Consensus for LLM Code Generation
#175351
arXiv CS
Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
#180715
arXiv CS
Agentic AI in Industry: Adoption Level and Deployment Barriers
#187372
arXiv CS
Documentation-Guided Agentic Codebase Migration from C to Rust
#187373
arXiv CS
In-IDE Toolkit for Developers of AI-Based Features
#187374
arXiv CS
← Previous
Page 6 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.