Spy test double: verifying collaboration