PEF: Python Error Finder

Mostrar todas las versiones(2)

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Guardado en:

Detalles Bibliográficos
Autores principales:	Bordese, Andrés Matías, Hayes, Tomás
Otros Autores:	Barsotti, Damián
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2016
Materias:	Testing and Debugging Proxy Ejecución simbólica
Acceso en línea:	http://hdl.handle.net/11086/2766
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

PEF: Python Error Finder
por: Bordese, Andrés Matías, et al.
Publicado: (2016)

Software error detection through testing and analysis
por: Huang, J. C., 1935-
Publicado: (2009)

Perfiles de testing aplicados a modelos de software
por: Palacios, Luis Fernando
Publicado: (2009)

Adaptability-based service behavioral assessment
por: Anabalon, Diego, et al.
Publicado: (2015)

Programación en lógica inductiva para la corrección de bases de conocimiento lógicas
por: Delladio, Telma
Publicado: (2000)

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo
Publicado: (2011)

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo.
Publicado: (2011)

Análisis de binarios usando ejecución simbólica
por: Cortez Sánchez, Joshep Joel
Publicado: (2019)

Análisis de binarios usando ejecución simbólica
por: Cortez Sánchez, Joshep Joel
Publicado: (2019)

Localización de errores dirigida por la arquitectura en sistemas basados en eventos
por: Soria, Alvaro
Publicado: (2003)

Static analysis of software the abstract interpretation /
Publicado: (2012)

Poverty alleviation strategies under informality: evidence for Latin America
por: Caruso Bloeck, Martín, et al.
Publicado: (2018)

The practice of programming
por: Kernighan, Brian W.
Publicado: (1999)

Software testing techniques
por: Beizer, Boris 1934-
Publicado: (1990)

Mejoras al testing exhaustivo acotado
por: Bengolea, Valeria Susana
Publicado: (2016)

Mejoras al testing exhaustivo acotado
por: Bengolea, Valeria Susana
Publicado: (2016)

Enfoque para pruebas de unidad basado en la generación aleatoria de objetos
por: Barrientos, Pablo Andrés
Publicado: (2014)

Sistema de instrumentación estática de código fuente para mocking de funciones y objetos
por: Tiraboschi, Andrés Agustín
Publicado: (2019)

Sistema de instrumentación estática de código fuente para mocking de funciones y objetos
por: Tiraboschi, Andrés Agustín
Publicado: (2019)

Debugging visualization tools: a systematic review
por: Pereira da Silva, Fabio, et al.
Publicado: (2020)

Program slicing based on sentence executability
por: Cavadini, Salvador V., et al.
Publicado: (2007)

Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
por: Wappner, Daniel
Publicado: (2023)

Configurar el proxy autenticado en Chrome
por: Dalgalarrondo, Juan Pablo
Publicado: (2019)

Configurar el proxy autenticado en Mozilla Firefox
por: Dalgalarrondo, Juan Pablo
Publicado: (2019)

Handling inconsistency on ontologies through a generalized dynamic argumentation framework
por: Moguillansky, Martín O., et al.
Publicado: (2008)

Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
por: Lebrero Rial, Ignacio Manuel
Publicado: (2020)

Ejecución Simbólica Dinámica en Evosuite : estudio e implementación
por: Lebrero Rial, Ignacio Manuel
Publicado: (2020)

Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales
por: Vargas Calderon, Luis Miguel
Publicado: (2019)

Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales
por: Vargas Calderon, Luis Miguel
Publicado: (2019)

Implementación de estrategia para manejo de excepciones basada en componentes: las fachadas de seguridad
por: Blet, Nora S. M.
Publicado: (2008)

Mejoras en la seguridad web del usuario mediante el uso de un proxy local
por: Boettner, Fernando Ariel
Publicado: (2022)

Magnetic parameters in paleolimnological studies in Antarctica
por: Chaparro, M.A.E., et al.

Magnetic parameters in paleolimnological studies in Antarctica
por: Lirio, Juan Manuel
Publicado: (2014)

Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica
por: Wappner, Daniel
Publicado: (2024)

Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica
por: Wappner, Daniel
Publicado: (2024)

Paleoambiente y arqueología en la puna meridional argentina: archivos ambientales, escalas de análisis y registro arqueológico
por: Olivera, Daniel Enzo, et al.
Publicado: (2004)

Paleoambiente y arqueología en la puna meridional argentina: archivos ambientales, escalas de análisis y registro arqueológico
por: Olivera, Daniel Enzo, et al.
Publicado: (2004)

Paleolimnología del embalse San Roque. Relación entre la eutrofización y la variabilidad hidroclimática
por: Mengo, Luciana, et al.
Publicado: (2019)

Un operador general de contracción para programas lógicos
por: Vaucheret, Claudio A., et al.
Publicado: (1998)

Migración de código en ambientes distribuidos : Plataforma Aglets
por: García Martín, Santiago
Publicado: (2010)