Text this: Método de síntesis de funciones de prueba para optimizadores basado en autocodificadores variacionales y regresión simbólica