Kumar Sahoo, B.; Ray, M. Concurrent Bug Detection Using Invariant Analysis. IJET 2018, 7 (3.4), 6-12. https://doi.org/10.14419/ijet.v7i3.4.14666.