Object-oriented programming-the problems of validation | IEEE Conference Publication | IEEE Xplore