:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Untila, Octavian
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence Multiagent Systems D.2.4; I.2.6
Accès en ligne:	https://arxiv.org/abs/2603.21149
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
par: Parris, William M.
Publié: (2026)

Provable Fairness Repair for Deep Neural Networks
par: Ma, Jianan, et autres
Publié: (2026)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
par: Su, Jie, et autres
Publié: (2025)

When Gradients Collide: Failure Modes of Multi-Objective Prompt Optimization for LLM Judges
par: Darshan, Parth, et autres
Publié: (2026)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
par: Jahan, Sigma, et autres
Publié: (2026)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
par: Garcia, Rémi, et autres
Publié: (2024)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
par: Guo, Jinyao, et autres
Publié: (2025)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
par: Jana, Prithwish, et autres
Publié: (2026)

BONSAI: A Mixed-Initiative Workspace for Human-AI Co-Development of Visual Analytics Applications
par: Spinner, Thilo, et autres
Publié: (2026)

Understanding and Detecting Flaky Builds in GitHub Actions
par: Ge, Wenhao, et autres
Publié: (2026)

Nidus: Externalized Reasoning for AI-Assisted Engineering
par: Gorinevski, Danil
Publié: (2026)

AI-assisted JSON Schema Creation and Mapping
par: Neubauer, Felix, et autres
Publié: (2025)

Automated Bug Triaging using Instruction-Tuned Large Language Models
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
par: Slater, Tyler
Publié: (2025)

LLMCup: Ranking-Enhanced Comment Updating with LLMs
par: Ge, Hua, et autres
Publié: (2025)

Knowledge Equivalence in Digital Twins of Intelligent Systems
par: Zhang, Nan, et autres
Publié: (2022)

From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering
par: Wlodarski, Rafal
Publié: (2026)

Can Graph-Based Microservice Performance Detection Be Used for Microservice Intrusion Detection?
par: Ma, Yunjian
Publié: (2026)

AI-Assisted Engineering Should Track the Epistemic Status and Temporal Validity of Architectural Decisions
par: Gilda, Sankalp, et autres
Publié: (2026)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

PARNESS: A Paper Harness for End-to-End Automated Scientific Research with Dynamic Workflows, Full-Text Indexing, and Cross-Run Knowledge Accumulation
par: Wang, Yuchen, et autres
Publié: (2026)

MOCHA: Multi-Objective Chebyshev Annealing for Agent Skill Optimization
par: Tanjim, Md Mehrab, et autres
Publié: (2026)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
par: Wang, Chengpeng, et autres
Publié: (2024)

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
par: Hundal, Rajdeep Singh, et autres
Publié: (2025)

Towards Explainable Test Case Prioritisation with Learning-to-Rank Models
par: Ramírez, Aurora, et autres
Publié: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
par: Abeywickrama, Dhaminda B., et autres
Publié: (2025)

Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
par: Ma, Jianan, et autres
Publié: (2025)

Multi-Agent Code Verification via Information Theory
par: Rajan, Shreshth
Publié: (2025)

Feedback-Normalized Developer Memory for Reinforcement-Learning Coding Agents: A Safety-Gated MCP Architecture
par: Iscan, Mehmet
Publié: (2026)

Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
par: Nguyen, Quang-Dung, et autres
Publié: (2025)

The Single-File Test: A Longitudinal Public-Interface Evaluation of First-Output LLM Web Generation with Social Reach Tracking
par: Palacios, Diego Cabezas
Publié: (2026)

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair
par: Hu, Yuelin, et autres
Publié: (2026)

CodeTracer: Towards Traceable Agent States
par: Li, Han, et autres
Publié: (2026)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
par: Weiß, Matthias, et autres
Publié: (2026)

Comparing Unidirectional, Bidirectional, and Word2vec Models for Discovering Vulnerabilities in Compiled Lifted Code
par: McCully, Gary A., et autres
Publié: (2024)

Bi-Directional Transformers vs. word2vec: Discovering Vulnerabilities in Lifted Compiled Code
par: McCully, Gary A., et autres
Publié: (2024)

LLM Agents for Generating Microservice-based Applications: how complex is your specification?
par: Yellin, Daniel M.
Publié: (2025)

GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
par: Agrawal, Lakshya A, et autres
Publié: (2025)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
par: Huang, Xuanxiang, et autres
Publié: (2025)

A measurement substrate for agentic Kubernetes operations: Methodology and a case study in retrieval-compounding falsification
par: Odmark, Joshua, et autres
Publié: (2026)