xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.advisor
Now showing items 1-1 of 1
-
KLEE visualization project
(2022)En este proyecto se ha trabajado con una herramienta de ejecución simbólica llamada KLEE basada en LLVM IR. Esta herramienta se usa para el análisis de programas y generar pruebas de alta cobertura con el fin de depurarlos ...