Vishnupriya.T (2016) “Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution”, International Journal of Communication and Computer Technologies, 4(2), pp. 114–116. Available at: https://eccsubmit.com/index.php/ijccts/article/view/175 (Accessed: 16 January 2026).