Parallel Symbolic Execution for Smart Contracts with Load Balancing. - Xiaorui Nie; Meng Wang (APSEC, 2024)