Vishnupriya.T. “Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution”. International Journal of communication and computer Technologies 4, no. 2 (December 22, 2016): 114–116. Accessed November 21, 2025. https://ijccts.org/index.php/pub/article/view/283.