Testing of Non-deterministic Client