Home > Term: symbolic execution
symbolic execution
A software analysis technique in which program execution is simulated using symbols, such as variable names, rather than actual values for input data, and program outputs are expressed as logical or mathematical expressions involving these symbols.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- artemis
- 100% positive feedback