Oración 1: la desventaja principal es que este análisis es realizado sobre una ejecución específica, esto significa que se tiene en cuenta únicamente las variables que el programa usó en esa ejecución
Oración 2: debido a que existen múltiples posibilidades de ejecución, se opta por construir un modelo abstracto del programa” (Becerra, 2015)
Relación: neutral
Género: theses