首页 > 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.
- 词性: noun
- 行业/领域: 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- artemis
- 100% positive feedback