Vishnupriya.T 2016. Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution. International Journal of communication and computer Technologies. 4, 2 (Dec. 2016), 114–116.