Resumen:
En esta tesis se evalúa el correcto funcionamiento de SpecFuzzer [5], herramienta presentada en Fuzzing Class Specifications [4]. Se documentan los pasos necesarios para su ejecución, incluyendo los ajustes requeridos para poder ejecutar correctamente la herramienta. Tras reproducir los ejemplos del paper, se validará que las especificaciones inferidas (invariantes y aserciones) respeten sus enunciados y el comportamiento observado sea correcto. Luego, se extenderán los casos de estudios utilizando métodos propios, de forma de poder evaluar y verificar la calidad de las especificaciones generadas. Finalmente, se presentarán las conclusiones y lecciones aprendidas.
Abstract:
This thesis evaluates the correct functioning of SpecFuzzer [5], a tool presented in Fuzzing Class Specifications [4]. The necessary steps for its execution are documented, including the adjustments required to properly execute the tool. After reproducing the examples from the paper, it will be validated that the inferred specifications (invariants and assertions) respect their statements and that the observed behavior is correct. Then, the case studies will be extended using proprietary methods, in order to evaluate and verify the quality of the generated specifications. Finally, the conclusions and lessons learned will be presented.
Citación:
---------- APA ----------
Dal Vecchio, Mariano. (2025). Validación y extensión experimental de la herramienta SpecFuzzer. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000887_DalVecchio
---------- CHICAGO ----------
Dal Vecchio, Mariano. "Validación y extensión experimental de la herramienta SpecFuzzer". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2025.https://hdl.handle.net/20.500.12110/seminario_nCOM000887_DalVecchio
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000887_DalVecchio.pdf
Distrubución geográfica
