1819-87R-SDSA: Slides: Introduction to symbolic execution | e-Learning - UNIMIB

Skip to main content

Home
More

English ‎(en)‎

English ‎(en)‎ Italiano ‎(it)‎

You are currently using guest access

Log in

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
Slides: Introduction to symbolic execution

Course full name

Static and Dynamic Software Analysis

Course ID number

1819-87R-SDSA

Slides: Introduction to symbolic execution

Click symbolic_execution_intro.pdf link to view the file.

You are currently using guest access (Log in)

Get the mobile app

Powered by Moodle

© 2024 Università degli Studi di Milano-Bicocca

Privacy policy
Accessibility
Statistics