• English
    • español
  • English 
    • English
    • español
  • Login
Search 
  •   Home
  • Search
  •   Home
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

KLEE visualization project 

Calvo Soria, Jorge (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 ...

Repositorio de la Universidad Pontificia Comillas copyright © 2015  Desarrollado con DSpace Software
Contact Us | Send Feedback
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_advisorxmlui.ArtifactBrowser.Navigation.browse_type

My Account

LoginRegister

Discover

Advisor
Yavuz, Tuba (1)
AuthorCalvo Soria, Jorge (1)Subject33 Ciencias tecnológicas (1)3325 Tecnología de las telecomunicaciones (1)332599 Otras especialidades (1)KTT (GITT) (1)... View MoreDate Issued2022 (1)

Repositorio de la Universidad Pontificia Comillas copyright © 2015  Desarrollado con DSpace Software
Contact Us | Send Feedback