Kumar Sahoo, B. and Ray, M. 2018. Concurrent Bug Detection Using Invariant Analysis. International Journal of Engineering & Technology. 7, 3.4 (Jun. 2018), 6–12. DOI:https://doi.org/10.14419/ijet.v7i3.4.14666.