Symbolic Execution

Technique for Program Analysis

en-GB/sɪmˈbɒlɪk ˌɛksɪˈkjuːʃn/
en-US/sɪmˈbɑlɪk ˌɛksəˈkjuʃən/

زمرے:

means