Ejecución simbólica

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. Silva Galiana, JF. (2024). Ejecución simbólica. http://hdl.handle.net/10251/204726