中文
相关论文

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

200 篇论文

In the field of software engineering there are many new archetypes are introducing day to day Improve the efficiency and effectiveness of software development. Due to dynamic environment organizations are frequently exchanging their…

软件工程 · 计算机科学 2017-02-02 Ahmed Mateen , Madiha Tabassum , Akmal Rehan

Generative AI is reshaping product design practices through "vibe coding," where product team members express intent in natural language and AI translates it into functional prototypes and code. Despite rapid adoption, little research has…

人机交互 · 计算机科学 2026-05-04 Jie Li , Youyang Hou , Laura Lin , Ruihao Zhu , Hancheng Cao , Abdallah El Ali

Generative AI is reshaping how software is designed, written, and maintained. Advances in large language models (LLMs) are enabling new development styles - from chat-oriented programming and 'vibe coding' to agentic programming - that can…

软件工程 · 计算机科学 2025-10-14 Vivek Acharya

Developers now have access to a growing array of increasingly autonomous AI tools for software development. While many studies examine copilots that provide chat assistance or code completions, evaluations of coding agents -- which can…

软件工程 · 计算机科学 2025-09-16 Valerie Chen , Ameet Talwalkar , Robert Brennan , Graham Neubig

As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architecture exploration and verification. While…

软件工程 · 计算机科学 2026-04-28 Yifan Zhang , Jianmin Ye , Jiahao Yang , Xi Wang

The landscape of software development has witnessed a paradigm shift with the advent of AI-powered assistants, exemplified by GitHub Copilot. However, existing solutions are not leveraging all the potential capabilities available in an IDE…

软件工程 · 计算机科学 2024-03-14 Michele Tufano , Anisha Agarwal , Jinu Jang , Roshanak Zilouchian Moghaddam , Neel Sundaresan

In recent years, AI-based software engineering has progressed from pre-trained models to advanced agentic workflows, with Software Development Agents representing the next major leap. These agents, capable of reasoning, planning, and…

软件工程 · 计算机科学 2024-12-30 Zhi Chen , Lingxiao Jiang

The introduction of large language models ignited great retooling and rethinking of the software development models. The ensuing response of software engineering research yielded a massive body of tools and approaches. In this paper, we…

软件工程 · 计算机科学 2026-02-05 Marian Kica , Lukas Radosky , David Slivka , Karin Kubinova , Daniel Dovhun , Tomas Uhercik , Erik Bircak , Ivan Polasek

Agentic AI marks a major shift in how autonomous systems reason, plan, and execute multi-step tasks. Unlike traditional single model prompting, agentic workflows integrate multiple specialized agents with different Large Language…

We ask whether agentic AI systems built for software engineering transfer to realistic hardware engineering. Existing hardware LLM benchmarks isolate sub-tasks but none jointly requires repository navigation, hierarchy-aware localization,…

硬件体系结构 · 计算机科学 2026-05-18 Qingyun Zou , Feng Yu , Hongshi Tan , Bingsheng He , WengFai Wong

Adapting production-level computer vision tools to bespoke scientific datasets is a critical "last mile" bottleneck. Current solutions are impractical: fine-tuning requires large annotated datasets scientists often lack, while manual code…

We present an approach to software testing automation using Agentic Retrieval-Augmented Generation (RAG) systems for Quality Engineering (QE) artifact creation. We combine autonomous AI agents with hybrid vector-graph knowledge systems to…

软件工程 · 计算机科学 2025-10-14 Mohanakrishnan Hariharan , Satish Arvapalli , Seshu Barma , Evangeline Sheela

Enterprise IT support is constrained by heterogeneous devices, evolving policies, and long-tail failure modes that are difficult to resolve centrally. We present VIGIL, an edge-extended agentic AI system that deploys desktop-resident agents…

Software testing is a crucial phase in the software development lifecycle (SDLC), ensuring that products meet necessary functional, performance, and quality benchmarks before release. Despite advancements in automation, traditional methods…

软件工程 · 计算机科学 2026-03-10 Mohammad Baqar , Rajat Khanda

Agentic code assistants are a new generation of AI systems capable of performing end-to-end software engineering tasks. While these systems promise unprecedented productivity gains, their behavior and effectiveness depend heavily on…

软件工程 · 计算机科学 2026-05-26 Helio Victor F. Santos , Vitor Costa , Joao Eduardo Montandon , Marco Tulio Valente

Hardware design automation faces challenges in generating high-quality Verilog code efficiently. This paper introduces VFlow, an automated framework that optimizes agentic workflows for Verilog code generation. Unlike traditional approaches…

硬件体系结构 · 计算机科学 2025-07-15 Yangbo Wei , Zhen Huang , Huang Li , Wei W. Xing , Ting-Jung Lin , Lei He

Designing Verilog modules requires meticulous attention to correctness, efficiency, and adherence to design specifications. However, manually writing Verilog code remains a complex and time-consuming task that demands both expert knowledge…

硬件体系结构 · 计算机科学 2025-04-17 Bardia Nadimi , Ghali Omar Boutaib , Hao Zheng

Automatically generated code is gaining traction recently, owing to the prevalence of Large Language Models (LLMs). Further, the AlphaProof initiative has demonstrated the possibility of using AI for general mathematical reasoning.…

软件工程 · 计算机科学 2026-04-14 Haoxin Tu , Huan Zhao , Yahui Song , Mehtab Zafar , Ruijie Meng , Abhik Roychoudhury

Automation engineering is the task of integrating, via software, various sensors, actuators, and controls for automating a real-world process. Today, automation engineering is supported by a suite of software tools including integrated…

软件工程 · 计算机科学 2020-07-08 Arquimedes Canedo , Palash Goyal , Di Huang , Amit Pandey , Gustavo Quiros

AI agents are increasingly embedded in real software systems, where they execute multi-step workflows through multi-turn dialogue, tool invocations, and intermediate decisions. These long execution histories, called agentic traces, make…

软件工程 · 计算机科学 2026-05-12 Reshabh K Sharma , Shraddha Barke , Benjamin Zorn