@inproceedings{DBLP:conf/issta/BusseGCD22,
  author       = {Frank Busse and
                  Pritam M. Gharat and
                  Cristian Cadar and
                  Alastair F. Donaldson},
  editor       = {Sukyoung Ryu and
                  Yannis Smaragdakis},
  title        = {Combining static analysis error traces with dynamic symbolic execution (experience paper)},
  booktitle    = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
  pages        = {568-579},
  publisher    = {{ACM}},
  year         = {2022},
  doi          = {10.1145/3533767.3534384},
}