Binder R. Testing Object-Oriented Systems.Models,Patterns,..1999