@InProceedings{BugariuMueller20,
  author = {Bugariu, Alexandra and M\"{u}ller, Peter},
  title = {Automatically Testing String Solvers},
  year = {2020},
  isbn = {9781450371216},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3377811.3380398},
  urltext      = {[Publisher]},
  doi = {10.1145/3377811.3380398},
  booktitle = {Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE)},
  pages = {1459--1470},
  numpages = {12},
  keywords = {string solvers, automatic testing, soundness testing, SMT solvers},
  location = {Seoul, South Korea},
  series = {ICSE '20}
}