Buy Me a Coffee at ko-fi.com

Symbolic execution

Technique for Program Analysis

Pronunciation
/sɪmˈbɑlɪk ˌɛksəˈkjuʃən/
/sɪmˈbɒlɪk ˌɛksɪˈkjuːʃən/
Categories
means