[1]
B. Kumar Sahoo and M. Ray, “Concurrency testing using symbolic path finder”,
IJET
, vol. 7, no. 2.6, pp. 275–282, Mar. 2018,
doi: 10.14419/ijet.v7i2.6.10782.