@inproceedings{ICSE18:CSE,
author = {David Trabish and Andrea Mattavelli and Noam Rinetzky and Cristian Cadar},
title = {Chopped Symbolic Execution},
year = {2018},
booktitle = {International Conference on Software Engineering (ICSE)},
pages = {350--360}
}