Выполнение символьное (symbolic execution) — процесс, позволяющий анализировать работу программного обеспечения путем эмуляции выполнения всей программы или ее части, проводящейся с использованием символов для входных данных (например, с использованием переменных, а не их действительных значений).
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]