Kumar Sahoo, B.; Ray, M. Concurrency Testing Using Symbolic Path Finder. IJET 2018, 7 (2.6), 275-282. https://doi.org/10.14419/ijet.v7i2.6.10782.