Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li. An Approach to Checking Consistency between UML Class Model and Its Java Implementation. IEEE Trans. Software Eng., 42(4):322-344, 2016. [doi]
Abstract is missing.