Work

Finding Correctness Issues on Ethereum Verkle Tries via Preimage-Aware Differential Testing

Year: 2025

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.2025.3611956

Authors: Zihao Li, Zheyuan He, Xiapu Luo, Ting Chen, Xiaosong Zhang

Institutions: Hong Kong Polytechnic University, University of Electronic Science and Technology of China

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Awards: G2795951424, G5642009191

OpenAlex ID: W4414404868

FWCI: 2.35

Cites: 42

Cited by: 1

Related to: