Kumar Sahoo B, Ray M. Concurrency testing using symbolic path finder. IJET [Internet]. 2018 Mar. 11 [cited 2024 May 2];7(2.6):275-82. Available from: https://www.sciencepubco.com/index.php/ijet/article/view/10782