@masterthesis{1325234,
    title = "Optimizing Dynamic Traces Using Symbolic Execution",
    authorField = "Χατζημιχαήλ, Ευθύμιος",
    year = "2016",
    school = "Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}