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.