Theory and practice of string solvers (invited talk abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Adam Kiezun' in GoogleThis author has not been identified. It may be one of the following persons:

Philip J. Guo

Look up 'Philip J. Guo' in GoogleThis author has not been identified. Look up 'Pieter Hooimeijer' in GoogleThis author has not been identified. Look up 'Michael D. Ernst' in GoogleThis author has not been identified. Look up 'Vijay Ganesh' in Google

runs on WebDSL