Symbolic Execution

Technique for Program Analysis

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

Kategorien:

means