Titolo del corso
Static and Dynamic Software Analysis
Codice identificativo del corso
1819-87R-SDSA
Article: Khurshid et al., Generalized symbolic execution for model checking and testing
Per visualizzare il file, fai click su questo link: GSE.pdf