Я столкнулся с терминами «конкретное и символическое исполнение», когда рассматривал концепцию конколическое тестирование . (Упомянутая там статья "CUTE: Concolic модульного тестирования для C" использует этот термин в своем абстрактном разделе.)...