symbolic execution - Francés Inglés Diccionario