Ejecución simbólica

Silva Galiana, Josep Francesc; Este video explica qué es la ejecución simbólica en los lenguajes de programación. Utiliza diferentes ejemplos para mostrar su utilidad en el campo del testing. El video muestra un ejemplo de generación de un árbol de ejecución simbólica y propone un ejercicio (y lo resuelve) para que el alumno trate de resolverlo. http://hdl.handle.net/10251/204726