Data Hallucination, Falsification and Validation using Generative Models and Formal Methods - Jose Rafael Valle Gomes da Costa (2018)