Vai al contenuto principale
Pannello laterale
Home
Altro
Italiano (it)
English (en)
Italiano (it)
Ospite
Login
Home
Apri indice del corso
Apri il cassetto del blocco
Percorso della pagina
Post-Laurea
Scuola di Dottorato di Ricerca
Didattica Corsi di Dottorato
Computer Science / Informatica
2018-2019
Static and Dynamic Software Analysis
Titolo del corso
Static and Dynamic Software Analysis
Codice identificativo del corso
1819-87R-SDSA
Descrizione del corso
Indice degli argomenti
Minimizza tutto
Espandi tutto
Seleziona argomento Introduzione
Introduzione
Seleziona attività Avvisi
Forum
Avvisi
Forum
Seleziona attività Calendario delle lezioni:giovedì 5/sett, dalle 13....
Calendario delle lezioni:
giovedì 5/sett, dalle 13.30 alle 17.30, sala riunioni U14 piano 3
martedì 17/sett, dalle 13.30 alle 17.30, sala riunioni U14 piano 3
mercoledì 18/sett, dalle 13.30 alle 17.30, sala riunioni U14 piano 3
giovedì 19/sett, dalle 13.30 alle 17.30, sala riunioni U14 piano 3
venerdì 20/sett, dalle 13.30 alle 17.30, sala riunioni U14 piano 3
Seleziona argomento Data Flow Analysis - 05/09/2019
Data Flow Analysis - 05/09/2019
Seleziona attività Slides: Introduction to Data Flow Analysis
Risorsa
Slides: Introduction to Data Flow Analysis
File
Seleziona attività Slides: Challenges with Inter-procedural Data Flow Analysis
Risorsa
Slides: Challenges with Inter-procedural Data Flow Analysis
File
Seleziona attività Practice: Data Flow Analysis with IBM WALA
Pagina
Practice: Data Flow Analysis with IBM WALA
Pagina
Seleziona attività Assignment
Pagina
Assignment
Pagina
Seleziona argomento Alloy - 17/09/2019
Alloy - 17/09/2019
Seleziona attività Slides: Alloy
Risorsa
Slides: Alloy
File
Seleziona attività Practice: The elevator problem in Alloy
Risorsa
Practice: The elevator problem in Alloy
File
Seleziona attività Assignment
Pagina
Assignment
Pagina
Seleziona attività Extra practice with Alloy and the Alloy Analyzer
Pagina
Extra practice with Alloy and the Alloy Analyzer
Pagina
Seleziona argomento Model Checking - 18/09/2019
Model Checking - 18/09/2019
Seleziona attività Slides: Introduction to Model Checking (slides provided by J. Esparza, S. Merz - slides 1--15)
Risorsa
Slides: Introduction to Model Checking (slides provided by J. Esparza, S. Merz - slides 1--15)
File
Seleziona attività Slides: Introduction to Spin - @ Spin Website
URL
Slides: Introduction to Spin - @ Spin Website
URL
Seleziona attività Slides: Promela - @ Spin Website
URL
Slides: Promela - @ Spin Website
URL
Seleziona attività Slide: Introduction to Specifications in Linear Temporal Logic (slides provided by A. Artale)
Risorsa
Slide: Introduction to Specifications in Linear Temporal Logic (slides provided by A. Artale)
File
Seleziona attività Practice: Model Checking Examples with Spin
Pagina
Practice: Model Checking Examples with Spin
Pagina
Seleziona attività Assignment
Pagina
Assignment
Pagina
Seleziona argomento Symbolic Execution - 19/09/2019
Symbolic Execution - 19/09/2019
Seleziona attività Slides: Introduction to symbolic execution
Risorsa
Slides: Introduction to symbolic execution
File
Seleziona attività Article: King, Symbolic execution and program testing
Risorsa
Article: King, Symbolic execution and program testing
File
Seleziona attività Article: Khurshid et al., Generalized symbolic execution for model checking and testing
Risorsa
Article: Khurshid et al., Generalized symbolic execution for model checking and testing
File
Seleziona attività Link: Java Bytecode Symbolic Executor
URL
Link: Java Bytecode Symbolic Executor
URL
Seleziona attività Link: Examples for JBSE
URL
Link: Examples for JBSE
URL
Seleziona attività Assignment
Pagina
Assignment
Pagina
Seleziona argomento Dynamic Analysis - 20/09/2019
Dynamic Analysis - 20/09/2019
Seleziona attività Slides: Dynamic analysis and mining of software specifications
Risorsa
Slides: Dynamic analysis and mining of software specifications
File
Seleziona attività Classe AvlTree per assignment
Risorsa
Classe AvlTree per assignment
File
Seleziona attività Assignment
Pagina
Assignment
Pagina