Kumar Sahoo, Bidush, and Mitrabinda Ray. “Concurrency Testing Using Symbolic Path Finder”. International Journal of Engineering and Technology 7, no. 2.6 (March 11, 2018): 275–282. Accessed August 17, 2025. https://mail.sciencepubco.com/index.php/IJET/article/view/10782.