An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts.

Yi Liu, Lizhi Cai, Chenchen Chai, Yuan Ma

Browse the full QRS paper archive.