Andreas Fuchs. Automated test-case generation with symbolic execution. PhD thesis, University of Münster, Germany, 2019. [doi]
@phdthesis{dnb-22299, title = {Automated test-case generation with symbolic execution}, author = {Andreas Fuchs}, year = {2019}, url = {http://d-nb.info/1194963730}, researchr = {https://researchr.org/publication/dnb-22299}, cites = {0}, citedby = {0}, school = {University of Münster, Germany}, }