symbolic execution - German English Dictionary