Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh. Theory and practice of string solvers (invited talk abstract). In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 6-7, ACM, 2019. [doi]
@inproceedings{KiezunGHEG19,
title = {Theory and practice of string solvers (invited talk abstract)},
author = {Adam Kiezun and Philip J. Guo and Pieter Hooimeijer and Michael D. Ernst and Vijay Ganesh},
year = {2019},
doi = {10.1145/3293882.3338993},
url = {https://doi.org/10.1145/3293882.3338993},
researchr = {https://researchr.org/publication/KiezunGHEG19},
cites = {0},
citedby = {0},
pages = {6-7},
booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019},
editor = {Dongmei Zhang and Anders Møller},
publisher = {ACM},
isbn = {978-1-4503-6224-5},
}