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