Kumar Sahoo, Bidush, and Mitrabinda Ray. “Concurrent Bug Detection Using Invariant Analysis”. International Journal of Engineering and Technology 7, no. 3.4 (June 25, 2018): 6–12. Accessed February 10, 2026. https://www.sciencepubco.com/index.php/IJET/article/view/14666.