Testing undeterministic behavior