TY  - RPRT
TI  - PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
AU  - Xingshuang Lin
AU  - Qinge Xie
AU  - Binbin Zhao
AU  - Yuan Tian
AU  - Saman Zonouz
AU  - Na Ruan
AU  - Jiliang Li
AU  - Raheem Beyah
AU  - Shouling Ji
PY  - 2025
UR  - https://arxiv.org/abs/2503.23718
ID  - 2503.23718
ER  -