динамическое символьное выполнение(По мере увеличения числа путей растет и количество их уравнений, что делает символьное выполнение малопригодным для тестирования масштабных приложений. Вместо него тестировщики, как правило, используют гибридный подход, называемый конколическим — конкретно-символьным (concolic = concrete + symbolic) выполнением или динамическим символьным выполнением.bartov-e)
