中文
相关论文

相关论文: Agentic Agile-V: From Vibe Coding to Verified Engi…

200 篇论文

AI agents have recently shown significant promise in software engineering. Much public attention has been transfixed on the topic of code generation from Large Language Models (LLMs) via a prompt. However, software engineering is much more…

软件工程 · 计算机科学 2025-09-23 Abhik Roychoudhury

Current AI-assisted engineering workflows lack a built-in mechanism to maintain task-level verification and regulatory traceability at machine-speed delivery. Agile V addresses this gap by embedding independent verification and audit…

软件工程 · 计算机科学 2026-02-25 Christopher Koch , Joshua Andreas Wellbrock

The rapid proliferation of large language models (LLMs) and agentic AI systems has created an unprecedented abundance of automatically generated code, challenging the traditional software engineering paradigm centered on manual authorship.…

软件工程 · 计算机科学 2026-04-14 Mamdouh Alenezi

Modern Integrated Circuits (ICs) are becoming increasingly complex, and so is their development process. Hardware design verification entails a methodical and disciplined approach to the planning, development, execution, and sign-off of…

This review presents a comprehensive analysis of two emerging paradigms in AI-assisted software development: vibe coding and agentic coding. While both leverage large language models (LLMs), they differ fundamentally in autonomy,…

软件工程 · 计算机科学 2025-05-27 Ranjan Sapkota , Konstantinos I. Roumeliotis , Manoj Karkee

Generative artificial intelligence (GenAI) and agentic systems are moving software engineering from code-centric production toward intent-centric human-agent work in which natural language, repository context, tools, tests, and governance…

软件工程 · 计算机科学 2026-05-13 Elyson De La Cruz

This work examines how AI, especially agentic systems, is being adopted in engineering and manufacturing workflows, what value it provides today, and what is needed for broader deployment. This is an exploratory and qualitative…

计算机与社会 · 计算机科学 2026-04-14 Kristen M. Edwards , Maxwell Bauer , Claire Jacquillat , A. John Hart , Faez Ahmed

Vibe coding produces correct, executable code at speed, but leaves no record of the structural commitments, dependencies, or evidence behind it. Reviewers cannot determine what invariants were assumed, what changed, or why a regression…

软件工程 · 计算机科学 2026-04-21 Tianfu Wang , Zhezheng Hao , Yin Wu , Wei Wu , Qiang Lin , Hande Dong , Nicholas Jing Yuan , Hui Xiong

Agentic AI in software product development is increasingly adopted by organizations, yet the field lacks a consolidated synthesis of where adoption is mature, which architectural patterns dominate, and what limitations and coping mechanisms…

软件工程 · 计算机科学 2026-05-18 Spyridon Alvanakis Apostolou , Jan Bosch , Helena Holmström Olsson

The arrival of large language models (LLMs) capable of multi-step reasoning, tool use, and long-horizon planning has produced a qualitative shift in software engineering. Where earlier code-completion tools such as GitHub Copilot operated…

软件工程 · 计算机科学 2026-04-30 Happy Bhati

A new transformation is underway in software engineering, driven by the rapid adoption of generative AI in development workflows. Similar to how version control systems once automated manual coordination, AI tools are now beginning to…

软件工程 · 计算机科学 2026-01-16 Simin Sun , Miroslaw Staron

The ever increasing complexity of the hardware design process demands improved hardware design and verification methodologies. With the advent of generative AI various attempts have been made to automate parts of the design and verification…

硬件体系结构 · 计算机科学 2025-12-02 Mubarek Mohammed

The capabilities of AI-assisted coding are progressing at breakneck speed. Chat-based vibe coding has evolved into fully fledged AI-assisted, agentic software development using agent scaffolds where the human developer creates a plan that…

软件工程 · 计算机科学 2026-04-24 Magnus Palmblad , Jared M. Ragland , Benjamin A. Neely

Software testing has progressed toward intelligent automation, yet current AI-based test generators still suffer from static, single-shot outputs that frequently produce invalid, redundant, or non-executable tests due to the lack of…

软件工程 · 计算机科学 2026-01-07 Saba Naqvi , Mohammad Baqar , Nawaz Ali Mohammad

Agentic AI is poised to usher in a seismic paradigm shift in Software Engineering (SE). As technologists rush head-along to make agentic AI a reality, SE researchers are driven to establish agentic SE as a research area. While early visions…

软件工程 · 计算机科学 2026-02-18 Rashina Hoda

Agentic AI denotes an architectural transition from stateless, prompt-driven generative models toward goal-directed systems capable of autonomous perception, planning, action, and adaptation through iterative control loops. This paper…

软件工程 · 计算机科学 2026-02-12 Mamdouh Alenezi

Large language models (LLMs) have made rapid advancements in code generation for popular languages such as Python and C++. Many of these recent gains can be attributed to the use of ``agents'' that wrap domain-relevant tools alongside LLMs.…

硬件体系结构 · 计算机科学 2026-03-31 Patrick Yubeaton , Siddharth Garg , Chinmay Hegde

Code review has evolved for decades, from informal peer checking to today's pull request (PR) workflows, yet it remains a largely manual, uneven, and cognitively demanding process. The rise of Artificial Intelligence (AI) coding assistants…

软件工程 · 计算机科学 2026-05-19 Hüseyin Özgür Kamalı , Erdem Tuna , Vahid Haratian , Eray Tüzün

For the past decade, the trajectory of generative artificial intelligence (AI) has been dominated by a model-centric paradigm driven by scaling laws. Despite significant leaps in visual fidelity, this approach has encountered a ``usability…

人工智能 · 计算机科学 2026-02-06 Jiaheng Liu , Yuanxing Zhang , Shihao Li , Xinping Lei

As Large Language Models shift the programming toward human-guided ''vibe coding'', agentic coding tools increasingly rely on models to self-diagnose and repair their own subtle faults -- a capability central to autonomous software…

软件工程 · 计算机科学 2026-03-18 Srijan Bansal , Jiao Fangkai , Yilun Zhou , Austin Xu , Shafiq Joty , Semih Yavuz
‹ 上一页 1 2 3 10 下一页 ›