An approach to perform behavior testing in object-oriented systems | IEEE Conference Publication | IEEE Xplore