Fuzz-testing SMT Solvers with Formula Weakening and Strengthening

Download
Full text (PDF, 1.146Mb)
Thumbnail
Open access
Author
Bringolf, Mauro
Date
2021
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000507582
Publication status
published
Contributors
Examiner: Su, Zhendong
Examiner: Winterer, Dominik
Publisher
ETH Zurich
Organisational unit
09628 - Su, Zhendong / Su, Zhendong  
More
Show all metadata
ETH Bibliography
yes
Altmetrics