Testing object-oriented systems. Models, Patterns, and Tools

Binder, Robert V.