Parallel Symbolic Execution for Smart Contracts with Load Balancing.

Xiaorui Nie, Meng Wang

Browse the full APSEC paper archive.