![](/img/cover-not-exists.png)
[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - Theory and practice of string solvers (invited talk abstract)
Kiezun, Adam, Guo, Philip J., Hooimeijer, Pieter, Ernst, Michael D., Ganesh, VijayYear:
2019
DOI:
10.1145/3293882.3338993
File:
PDF, 449 KB
2019