| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 5-Mar-2026 | 12-Sep-2025 | SmartChat : exploring LLMs for initial seed generation in smart contract fuzzing with vulnerability-guided prioritization | Silva, Fausto Carvalho Marques | Almeida, Rodrigo Bonifácio de | - |