Browsing by Author "CAVIERES TORRES, CARLOS DANIEL"

Now showing 1 - 1 of 1

EVALUACIÓN DE MÉTODOS DE GENERACIÓN DE INVARIANTES SOBRE ESTRUCTURAS DE DATOS
(Universidad Técnica Federico Santa María, 2013) CAVIERES TORRES, CARLOS DANIEL; CAVIERES TORRES, CARLOS DANIEL; SIMMONDS W., JOCELYN; Universidad Técnica Federico Santa María UTFSM. Departamento de Informática; ARROYUELO B., DIEGO
En el presente trabajo se estudian y analizan dos algoritmos de generación de invariantes para estructuras de datos disponibles en la actualidad, sometiéndolos a pruebas y realizando comparaciones basadas en su desempeo y capacidad de detección de invariantes conocidas en estructuras de datos predefinidas, con el fin de evaluar sus principales propiedades, fortalezas y debilidades.