Cover Image

Agentic Verification of Software Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tu, Haoxin, Zhao, Huan, Song, Yahui, Zafar, Mehtab, Meng, Ruijie, Roychoudhury, Abhik
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Agentic AI for Software: thoughts from Software Engineering community
by: Roychoudhury, Abhik
Published: (2025)

Program Environment Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

Agentic AI Software Engineers: Programming with Trust
by: Roychoudhury, Abhik, et al.
Published: (2025)

Large Language Model assisted Hybrid Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Will AI replace Software Engineers? Do not hold your breath
by: Roychoudhury, Abhik, et al.
Published: (2025)

Software Engineering Educational Experience in Building an Intelligent Tutoring System
by: Fan, Zhiyu, et al.
Published: (2023)

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
by: Wolff, Dylan, et al.
Published: (2022)

Unified Software Engineering Agent as AI Software Engineer
by: Applis, Leonhard, et al.
Published: (2025)

SpecRover: Code Intent Extraction via LLMs
by: Ruan, Haifeng, et al.
Published: (2024)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
by: Lin, Peisen, et al.
Published: (2024)

Codexity: Secure AI-assisted Code Generation
by: Kim, Sung Yong, et al.
Published: (2024)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
by: Kang, Sungmin, et al.
Published: (2025)

AutoCodeRover: Autonomous Program Improvement
by: Zhang, Yuntong, et al.
Published: (2024)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
by: Liu, Zhengyao, et al.
Published: (2025)

Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)

Rethinking Software Engineering for Agentic AI Systems
by: Alenezi, Mamdouh
Published: (2026)

SE Journals in 2036: Looking Back at the Future We Need to Have
by: Menzies, Tim, et al.
Published: (2026)

Building Living Software Systems with Generative & Agentic AI
by: White, Jules
Published: (2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
by: Tu, Haoxin, et al.
Published: (2024)

Code Review Agent Benchmark
by: Zhang, Yuntong, et al.
Published: (2026)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
by: Ma, Zhi, et al.
Published: (2024)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

Automatic Programming: Large Language Models and Beyond
by: Lyu, Michael R., et al.
Published: (2024)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

From Prompt-Response to Goal-Directed Systems: The Evolution of Agentic AI Software Architecture
by: Alenezi, Mamdouh
Published: (2026)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
by: Zhang, Yuntong, et al.
Published: (2024)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)

Agentic AI in the Software Development Lifecycle: Architecture, Empirical Evidence, and the Reshaping of Software Engineering
by: Bhati, Happy
Published: (2026)

How Software Engineers Engage with AI: A Pragmatic Workflow
by: Garousi, Vahid, et al.
Published: (2025)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities
by: Tang, Yongjian, et al.
Published: (2026)

Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
by: Sun, Simin, et al.
Published: (2026)

Toward Agentic Software Project Management: A Vision and Roadmap
by: Assalaarachchi, Lakshana Iruni, et al.
Published: (2026)

How Do Agentic AI Systems Deal With Software Energy Concerns? A Pull Request-Based Study
by: Mitul, Tanjum Motin, et al.
Published: (2025)