symbolic execution - Spanisch Englisch Wörterbuch