Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution.

Peilin Zheng, Zibin Zheng, Xiapu Luo

Browse the full ISSTA paper archive.