理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- minimax polynomial
- minimax principle
- minimax problem
- minimax procedure
- minimax property
- minimax risk
- minimax rule
- minimax schedule
- minimax sequential decision function
- minimax solution
- minimax statistical procedure
- minimax strategy
- minimax test
- minimax testing
- minimax theorem
- minimax theory
- minimax value
- minimax variational problem
- mini-mental state examination
- minimeter
- mini-mill steelmaking route
- minimization
- minimization algorithm of band
- minimization method
- minimization model