Testing object-oriented systems: models, patterns, and tools - Binder, Robert V (The Addison-Wesley Object Technology Series, 2000)