Vishnupriya.T. Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution. Int J Comm comp Tech 2016, 4, 114-116.