B. Kumar Sahoo and M. Ray, “Concurrent Bug Detection Using Invariant Analysis”, IJET, vol. 7, no. 3.4, pp. 6–12, Jun. 2018, doi: 10.14419/ijet.v7i3.4.14666.