MUT-BC-SS-01

MUT-BC-SS-01: Pruebas de Mutación de BasicConstraints X.509 en OpenSSL Resumen Este repositorio implementa un experimento de pruebas de mutación basado en especificaciones, dirigido al comportamiento de validación de certificados X.509 en OpenSSL. El experimento se basa en el operador de mutación...