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: King, Symbolic execution and program testing
Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Course summary
Article: King, Symbolic execution and program testing
Click
king76symbolicexecution.pdf
link to view the file.
