Profiling Symbolic Execution

Download
Full text (PDF, 2.371Mb)
Thumbnail
Open access
Autor(in)
Arquint, Linardcc
Datum
2019
Typ
    Master Thesis
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-b-000392350
Publikationsstatus
published
Beteiligte
Referent: Schwerhoff, Malte
Referent: Müller, Peter
Verlag
ETH Zurich
Organisationseinheit
03653 - Müller, Peter / Müller, Peter
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics