Symbolic Execution For Testing Complex Software. door Cristian Cadar