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.