Software Engineering Empirical Research Radar

VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods.

Paper detail page in SEER Radar.

Authors

Chenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu 0028, Sangharatna Godboley, Lucas C. Cordeiro

Venue / Year

ASE 2025

Topics

Program Analysis / Verification / Formal Methods

Abstract / Summary

Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.

External Links

DOI / Publisher

PDF

Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.