Изследователи предложиха иновативна рамка за семантична реификация, която подобрява начина на генериране на синтетичен програмен код за целите на тестването. Този подход фундаментално променя съществуващите парадигми, като вгражда по-богати семантични структури директно в процеса на генериране.