Kumar Sahoo B, Ray M. Concurrent Bug Detection Using Invariant Analysis. IJET [Internet]. 2018 Jun. 25 [cited 2025 May 18];7(3.4):6-12. Available from: https://mail.sciencepubco.com/index.php/IJET/article/view/14666