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
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
#216897
arXiv CS
An Event-Driven Tool for Context-Aware Code Smell Detection Using SmellDSL
#216914
arXiv CS
Privacy-by-Design Adaptive Group Assignment for Digital Lifestyle Coaching at Scale
#216917
arXiv CS
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
#216918
arXiv CS
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
#229560
arXiv CS
Beyond Summaries: Structure-Aware Labeling of Code Changes with Large Language Models
#229571
arXiv CS
Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
#229595
arXiv CS
Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning
#229596
arXiv CS
Do LLMs Favor Their Providers? Measuring Vertical Integration Bias in Code Generation
#241574
arXiv CS
From Failed Trajectories to Reliable LLM Agents: Diagnosing and Repairing Harness Flaws
#259533
arXiv CS
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
#259537
arXiv CS
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
#259540
arXiv CS
Microskill Architecture: A Modular Skill-Driven Framework for AI-Native Code Generation
#259542
arXiv CS
Econstellar: An Open-Source AI-Augmented Research Engine for Computational Financial Econometrics
#259543
arXiv CS
STMutants: A Mutation Testing Dataset for Structured Text Programs in Industrial Automation
#259550
arXiv CS
Beyond Single-Policy: Evaluating Composed Organization-Specific Policy Alignment in LLM Chatbots
#259570
arXiv CS
MemHint Replication Package
#241879
Figshare
Multicore Programming Primer
#66893
MIT OpenCourseWare
A Gentle Introduction to Programming Using Python
#67259
MIT OpenCourseWare
Overview of the<i>CCP</i>4 suite and current developments
#6475
OpenAlex
FGDM: Reasoning Aware Multi-Agentic Framework for Software Bug Detection using Chain of Thought and Tree of Thought Prompting
#141570
arXiv CS
ONLINE LEGISLATION: DEVELOPMENTS AND TRENDS IN DATA PRIVACY AND SOFTWARE DEVELOPMENT
#181992
DigitalCommons@University of Nebraska
Human oversight of agentic systems in practice: Examining the oversight work, challenges, and heuristics of developers using software agents
#259552
arXiv CS
Dissecting Bug Triggers and Failure Modes in Modern Agentic Frameworks: An Empirical Study
#6032
arXiv CS
AdverMCTS: Combating Pseudo-Correctness in Code Generation via Adversarial Monte Carlo Tree Search
#10444
arXiv CS
Beyond Output Correctness: Benchmarking and Evaluating Large Language Model Reasoning in Coding Tasks
#13163
arXiv CS
Programming Language Co-Usage Patterns on Stack Overflow: Analysis of the Developer Ecosystem
#13171
arXiv CS
CollabCoder: Plan-Code Co-Evolution via Collaborative Decision-Making for Efficient Code Generation
#14087
arXiv CS
On the Effectiveness of Context Compression for Repository-Level Tasks: An Empirical Investigation
#14091
arXiv CS
From Brain Models to Executable Digital Twins: Execution Semantics and Neuro-Neuromorphic Systems
#14095
arXiv CS
Learning from Change: Predictive Models for Incident Prevention in a Regulated IT Environment
#14099
arXiv CS
Modality-Native Routing in Agent-to-Agent Networks: A Multimodal A2A Protocol Extension
#14102
arXiv CS
Programming Language Co-Usage Patterns on Stack Overflow: Analysis of the Developer Ecosystem
#14103
arXiv CS
LLMs taking shortcuts in test generation: A study with SAP HANA and LevelDB
#19082
arXiv CS
AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
#120593
arXiv CS
MEMRES: A Memory-Augmented Resolver with Confidence Cascade for Agentic Python Dependency Resolution
#120612
arXiv CS
Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing
#124135
arXiv CS
Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
#124142
arXiv CS
Less Is More: Measuring How LLM Involvement affects Chatbot Accuracy in Static Analysis
#126581
arXiv CS
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
#126586
arXiv CS
Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
#134614
arXiv CS
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
#134622
arXiv CS
Mono2Sls: Automated Monolith-to-Serverless Migration via Multi-Stage Pipeline with Static Analysis
#138990
arXiv CS
ClawMark: A Living-World Benchmark for Multi-Turn, Multi-Day, Multimodal Coworker Agents
#139009
arXiv CS
AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
#139011
arXiv CS
CUJBench: Benchmarking LLM-Agent on Cross-Modal Failure Diagnosis from Browser to Backend
#139015
arXiv CS
An Empirical Evaluation of Locally Deployed LLMs for Bug Detection in Python Code
#139018
arXiv CS
Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts
#139019
arXiv CS
Terminus-4B: Can a Smaller Model Replace Frontier LLMs at Agentic Execution Tasks?
#155375
arXiv CS
From Agent Loops to Deterministic Graphs: Execution Lineage for Reproducible AI-Native Work
#168375
arXiv CS
← Previous
Page 13 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.