Vishnupriya.T, “Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution”, Int J Comm comp Tech, vol. 4, no. 2, pp. 114–116, Dec. 2016.