EVALUACIÓN DE MÉTODOS DE GENERACIÓN DE INVARIANTES SOBRE ESTRUCTURAS DE DATOS

Abstract

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.