Generative Testing: Properties, State and Beyond - Jan Stepien