testing: added note about generative testing and example of non-determinism