Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Ejecución simbólica"

Now showing items 1-2 of 2

    • Análisis de binarios usando ejecución simbólica 

      Cortez Sánchez, Joshep Joel (2018)
      En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...

    • PEF: Python Error Finder 

      Bordese, Andrés Matías; Hayes, Tomás (2014-12)
      La verificación del correcto funcionamiento de los sistemas es uno de los aspectos más importante del desarrollo de software, y a su vez, uno de los más costosos de llevar a cabo. El testing tradicional y la verificación ...