Kumar Sahoo, B. and Ray, M. 2018. Concurrency testing using symbolic path finder. International Journal of Engineering & Technology. 7, 2.6 (Mar. 2018), 275–282. DOI:https://doi.org/10.14419/ijet.v7i2.6.10782.