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