@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},
}