Behan, Senan (2022) Solidity Smart Contract Testing with Static Analysis Tools. Masters thesis, Dublin, National College of Ireland.