Χατζημιχαήλ Ευθύμιος, Optimizing Dynamic Traces Using Symbolic Execution, 2016,