Vishnupriya.T. Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution. International Journal of Communication and Computer Technologies 2016, 4, 114-116.