Colección de investigaciones
#symbolic-execution
1 paper con la etiqueta Symbolic execution. Cada paper indica qué demuestra y qué no demuestra.
1 resultados
Racer comprueba si las reescrituras de núcleos de GPU conservan su función
Racer comprueba simbólicamente reescrituras de núcleos de GPU y expone errores que las pruebas con muestras pasan por alto, dentro de la cobertura del estudio de núcleos de producción.