Java code reviewer for verifying object-oriented design in class diagrams | IEEE Conference Publication | IEEE Xplore