@inproceedings{jldl:icse17,
  author    = {Julian Thom{\'{e}} and
               Lwin Khin Shar and
               Domenico Bianculli and
               Lionel C. Briand},
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Search-driven string constraint solving for vulnerability detection},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  pages     = {198--208},
  publisher = {{IEEE} / {ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1109/ICSE.2017.26},
  doi       = {10.1109/ICSE.2017.26},
  timestamp = {Fri, 27 Mar 2020 08:54:45 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/ThomeSBB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}