Título: Generador de Abstracciones de Comportamiento para Contratos Inteligentes mediante Fuzzing Directores: Javier Godoy, Diego Garbervetsky Jurados: Dr. Gustavo Grieco, Dr. Juan Pablo Galeotti Resumen: Los contratos inteligentes son programas inmutables desplegados en la blockchain, utilizados para gestionar activos digitales y automatizar acuerdos sin intermediarios. Dada la inmutabilidad de [...]