Identifying design-code inconsistencies in object-oriented software: a case study | IEEE Conference Publication | IEEE Xplore