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