Testing object-oriented systems : models, patterns, and tools - Binder, Robert, 1950- (Addison-Wesley, 2000)