Profiling Symbolic Execution

Download
Full text (PDF, 2.371Mb)
Thumbnail
Open access
Author
Arquint, Linardcc
Date
2019
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000392350
Publication status
published
Contributors
Examiner: Schwerhoff, Malte
Examiner: Müller, Peter
Publisher
ETH Zurich
Organisational unit
03653 - Müller, Peter / Müller, Peter
More
Show all metadata
ETH Bibliography
yes
Altmetrics