Kumar Sahoo, Bidush, and Mitrabinda Ray. 2018. “Concurrency Testing Using Symbolic Path Finder”. International Journal of Engineering & Technology 7 (2.6): 275-82. https://doi.org/10.14419/ijet.v7i2.6.10782.