Artículo.
esperados proporcionados de forma diferente. En la Figura 12 se presenta un ejemplo de un arnés que verifica la función canonize () para nombres de ruta, que es similar a la presentada en [11]). El arnés genera todas las cadenas posibles de longitud 10 que contienen ‘.’, ‘A’ o ‘\\’ utilizando la