Kumar Sahoo, Bidush, and Mitrabinda Ray. 2018. “Concurrent Bug Detection Using Invariant Analysis”. International Journal of Engineering & Technology 7 (3.4): 6-12. https://doi.org/10.14419/ijet.v7i3.4.14666.