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