Artículo.
caja blanca como KLEE [4] que generan pruebas del código fuente con el propósito de maximizar la cobertura del código durante la ejecución de la prueba. El enfoque impulsado por el medio ambiente para la verificación del código saca provecho del hecho de que se llama al SUV en el contexto de su