Borsa di ricerca dal titolo “Tecniche compiler-assisted per analisi comportamentale del software e patching automatizzato”; Tematica: Design, progettazione ed analisi sperimentale di strumenti integrati nel compilatore LLVM per l’analisi del behavior del software (anche in combinazione con fuzz testing) e per automated bug patching.
Bando Borsa di Ricerca n. 21/2025 - Tecniche compiler-assisted per analisi comportamentale del software e patching automatizzato (SPC: 2025-1136-1340-237604)
Codice bando: 21/2025
Data pubblicazione: 10-09-2025
Data scadenza: 30-09-2025
Decreto nomina commissione
Decreto approvazione atti
Verbale della seduta preliminare:
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2025-1136-1340-237604