Tugurium/GTI

Glosario Terminología Informática

symbolic execution

0 ejecución simbólica
Técnica de verificación en la que la ejecución de un programa se simula, empleando símbolos en vez de valores para los datos de entrada, y las salidas del programa se representan como expresiones lógicas o matemáticas de dichos símbolos.
1997-07-26