Trabajos realizados por Le Bars y Viola (Le Bars, y otros, 2010), así como también por Carrasco (Carrasco, et al., 2011) han propuesto algoritmos tanto de generación recursiva de funciones inmunes a la correlación de primer orden, como algoritmos de enumeración de dichas funciones. En este proyecto se diseñará e implementará de manera eficiente la generalización de dichos algoritmos. A su vez, se presentan algoritmos para la generación de clases de equivalencia inmunes a la correlación de orden mayor que uno y generación aleatoria de las funciones correspondientes. Estos algoritmos podrán utilizarse para funciones de alta cantidad de variables y orden de correlación. Además, se brinda información adicional relativa a la cantidad de funciones por clases y el detalle de la construcción de las clases de equivalencia, así como también la posibilidad de estudiar patrones en la extensión de las mismas.