TY - THES TI - Optimizing Dynamic Traces Using Symbolic Execution AU - Χατζημιχαήλ Ευθύμιος PY - 2016 C1 - Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών ER -