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
Percorso della pagina
Postgraduate
PhD School
Doctoral programs' teaching activities
Computer Science / Informatica
2018-2019
Static and Dynamic Software Analysis
Symbolic Execution - 19/09/2019
Article: Khurshid et al., Generalized symbolic execution for model checking and testing
Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Course summary
Article: Khurshid et al., Generalized symbolic execution for model checking and testing
Click
GSE.pdf
link to view the file.