Santiago, Valdivino, Leoni Augusto Romain da Silva, and Pedro Ribeiro de Andrade Neto. " Testing Environmental Models supported by Machine Learning." Proceedings of the 3rd Brazilian Symposium on Systematic and Automated Software Testing, São Carlos/SP, 2018. SBC, 2018, pp.3–12.