@inproceedings{optimal_concolic,
  author    = {Xinyu Wang and
               Jun Sun and
               Zhenbang Chen and
               Peixin Zhang and
               Jingyi Wang and
               Yun Lin},
  title     = {Towards optimal concolic testing},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering,
               {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  pages     = {291--302},
  year      = {2018},
  url       = {https://doi.org/10.1145/3180155.3180177}
}