Augusto Fungo

Co-advisor for the undergraduate thesis:

Construction and Integration of Automatic Generators of Complex Inputs in Libraries Supporting Property-Based Testing.

The thesis was successfully defended and led to the student’s graduation.