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