Efficient testing of actor programs with non-deterministic behaviors