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