Buchumschlag

ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Junyong, Wu, Ling-I, Chen, Minyu, Qian, Xiaoying, Zhu, Haoze, Zhang, Qiongfang, Li, Guoqiang
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
von: Liu, Ruibang, et al.
Veröffentlicht: (2024)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
von: Chen, Minyu, et al.
Veröffentlicht: (2024)

DCE-LLM: Dead Code Elimination with Large Language Models
von: Chen, Minyu, et al.
Veröffentlicht: (2025)

MAAD: Automate Software Architecture Design through Knowledge-Driven Multi-Agent Collaboration
von: Li, Ruiyin, et al.
Veröffentlicht: (2025)

Explore-Construct-Filter: An Automated Framework for Rich and Reliable API Knowledge Graph Construction
von: Sun, Yanbang, et al.
Veröffentlicht: (2025)

Multi-Agent Causal Reasoning System for Error Pattern Rule Automation in Vehicles
von: Math, Hugo, et al.
Veröffentlicht: (2026)

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
von: De Luca, Marco, et al.
Veröffentlicht: (2026)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
von: Li, Jingyang, et al.
Veröffentlicht: (2026)

QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks
von: Hu, Yaojie, et al.
Veröffentlicht: (2025)

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
von: Xu, Congying, et al.
Veröffentlicht: (2026)

MAO: A Framework for Process Model Generation with Multi-Agent Orchestration
von: Lin, Leilei, et al.
Veröffentlicht: (2024)

Enhancing Automated Program Repair with Solution Design
von: Zhao, Jiuang, et al.
Veröffentlicht: (2024)

Standardizing Knowledge Engineering Practices with a Reference Architecture
von: Allen, Bradley P., et al.
Veröffentlicht: (2024)

LLM-based Automated Architecture View Generation: Where Are We Now?
von: Sathvika, Miryala, et al.
Veröffentlicht: (2026)

Bridging Requirements and Architecture: Multi-Agent Orchestration with External Knowledge and Hierarchical Memory
von: Li, Ruiyin, et al.
Veröffentlicht: (2026)

CAKE: Cloud Architecture Knowledge Evaluation of Large Language Models
von: Adam, Tim Lukas, et al.
Veröffentlicht: (2026)

Evolution of Kernels: Automated RISC-V Kernel Optimization with Large Language Models
von: Chen, Siyuan, et al.
Veröffentlicht: (2025)

ArchAgent: Scalable Legacy Software Architecture Recovery with LLMs
von: Pan, Rusheng, et al.
Veröffentlicht: (2026)

ScriptSmith: A Unified LLM Framework for Enhancing IT Operations via Automated Bash Script Generation, Assessment, and Refinement
von: Chatterjee, Oishik, et al.
Veröffentlicht: (2024)

LLM-Based Approach for Enhancing Maintainability of Automotive Architectures
von: Petrovic, Nenad, et al.
Veröffentlicht: (2025)

ReCode: Updating Code API Knowledge with Reinforcement Learning
von: Wu, Haoze, et al.
Veröffentlicht: (2025)

Large Language Model-Driven Code Compliance Checking in Building Information Modeling
von: Madireddy, Soumya, et al.
Veröffentlicht: (2025)

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
von: Huang, Zhili, et al.
Veröffentlicht: (2025)

Light over Heavy: Automated Performance Requirements Quantification with Linguistic Inducement
von: Wang, Shihai, et al.
Veröffentlicht: (2025)

A Taxonomy of Architecture Options for Foundation Model-based Agents: Analysis and Decision Model
von: Zhou, Jingwen, et al.
Veröffentlicht: (2024)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
von: Xue, Zhiyi, et al.
Veröffentlicht: (2026)

Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG
von: Du, Xueying, et al.
Veröffentlicht: (2024)

SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort Estimation
von: Oliva, Gustavo A., et al.
Veröffentlicht: (2025)

VIBEPASS: Can Vibe Coders Really Pass the Vibe Check?
von: Bansal, Srijan, et al.
Veröffentlicht: (2026)

Using LLMs in Generating Design Rationale for Software Architecture Decisions
von: Zhou, Xiyu, et al.
Veröffentlicht: (2025)

Automated Snippet-Alignment Data Augmentation for Code Translation
von: Zhang, Zhiming, et al.
Veröffentlicht: (2025)

A Goal-Driven Survey on Root Cause Analysis
von: Fang, Aoyang, et al.
Veröffentlicht: (2025)

Correct Code, Vulnerable Dependencies: A Large Scale Measurement Study of LLM-Specified Library Versions
von: Wang, Chengjie, et al.
Veröffentlicht: (2026)

Skill Discovery for Software Scripting Automation via Offline Simulations with LLMs
von: Xu, Paiheng, et al.
Veröffentlicht: (2025)

Knowledge Lever Risk Management for Software Engineering: A Stochastic Framework for Mitigating Knowledge Loss
von: Chua, Mark, et al.
Veröffentlicht: (2026)

Automated Creation and Enrichment Framework for Improved Invocation of Enterprise APIs as Tools
von: Agarwal, Prerna, et al.
Veröffentlicht: (2025)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
von: Li, Zirui, et al.
Veröffentlicht: (2025)

LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework
von: Lops, Andrea, et al.
Veröffentlicht: (2025)

LaQual: A Novel Framework for Automated Evaluation of LLM App Quality
von: Wang, Yan, et al.
Veröffentlicht: (2025)

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework
von: de Gelder, E., et al.
Veröffentlicht: (2020)