Skip to main content
Side panel
Home
More
English (en)
English (en)
Italiano (it)
You are currently using guest access
Log in
Home
Open course index
Open block drawer
Percorso della pagina
Postgraduate
PhD School
Doctoral programs' teaching activities
Computer Science / Informatica
2018-2019
Static and Dynamic Software Analysis
Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Course summary
Topic outline
Collapse all
Expand all
Select topic General
General
Select activity Avvisi
Forum
Avvisi
Forum
Select activity 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
Select topic Data Flow Analysis - 05/09/2019
Data Flow Analysis - 05/09/2019
Select activity Slides: Introduction to Data Flow Analysis
File
Slides: Introduction to Data Flow Analysis
File
Select activity Slides: Challenges with Inter-procedural Data Flow Analysis
File
Slides: Challenges with Inter-procedural Data Flow Analysis
File
Select activity Practice: Data Flow Analysis with IBM WALA
Page
Practice: Data Flow Analysis with IBM WALA
Page
Select activity Assignment
Page
Assignment
Page
Select topic Alloy - 17/09/2019
Alloy - 17/09/2019
Select activity Slides: Alloy
File
Slides: Alloy
File
Select activity Practice: The elevator problem in Alloy
File
Practice: The elevator problem in Alloy
File
Select activity Assignment
Page
Assignment
Page
Select activity Extra practice with Alloy and the Alloy Analyzer
Page
Extra practice with Alloy and the Alloy Analyzer
Page
Select topic Model Checking - 18/09/2019
Model Checking - 18/09/2019
Select activity Slides: Introduction to Model Checking (slides provided by J. Esparza, S. Merz - slides 1--15)
File
Slides: Introduction to Model Checking (slides provided by J. Esparza, S. Merz - slides 1--15)
File
Select activity Slides: Introduction to Spin - @ Spin Website
URL
Slides: Introduction to Spin - @ Spin Website
URL
Select activity Slides: Promela - @ Spin Website
URL
Slides: Promela - @ Spin Website
URL
Select activity Slide: Introduction to Specifications in Linear Temporal Logic (slides provided by A. Artale)
File
Slide: Introduction to Specifications in Linear Temporal Logic (slides provided by A. Artale)
File
Select activity Practice: Model Checking Examples with Spin
Page
Practice: Model Checking Examples with Spin
Page
Select activity Assignment
Page
Assignment
Page
Select topic Symbolic Execution - 19/09/2019
Symbolic Execution - 19/09/2019
Select activity Slides: Introduction to symbolic execution
File
Slides: Introduction to symbolic execution
File
Select activity Article: King, Symbolic execution and program testing
File
Article: King, Symbolic execution and program testing
File
Select activity Article: Khurshid et al., Generalized symbolic execution for model checking and testing
File
Article: Khurshid et al., Generalized symbolic execution for model checking and testing
File
Select activity Link: Java Bytecode Symbolic Executor
URL
Link: Java Bytecode Symbolic Executor
URL
Select activity Link: Examples for JBSE
URL
Link: Examples for JBSE
URL
Select activity Assignment
Page
Assignment
Page
Select topic Dynamic Analysis - 20/09/2019
Dynamic Analysis - 20/09/2019
Select activity Slides: Dynamic analysis and mining of software specifications
File
Slides: Dynamic analysis and mining of software specifications
File
Select activity Classe AvlTree per assignment
File
Classe AvlTree per assignment
File
Select activity Assignment
Page
Assignment
Page