Testing Data Structures CSE 373 Tao Xie Dept. of Computer Science and Engineering University of Washington, Seattle.