Vishnupriya.T. “Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution”. International Journal of Communication and Computer Technologies, vol. 4, no. 2, Dec. 2016, pp. 114-6, https://eccsubmit.com/index.php/ijccts/article/view/175.