Combining the animation and testing of abstract data types | IEEE Conference Publication | IEEE Xplore