SolAnalyser: A Framework for Analysing and Testing Smart Contracts.

Sefa Akca, Ajitha Rajan, Chao Peng

Browse the full APSEC paper archive.