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