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