理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- rotor system rotating dynamic test
- rotor thermal bending
- rotor-type electrometer
- Rotorua
- Rotorua-Taupo Thermal
- rotor unbalance
- rototrol
- rot proof finishing
- rotproofness
- Rotten Egg Nebula
- rottenness
- rotter
- Rotterdam
- Rotterdam Rules
- rotting edges syndrome of Apostichopus japonicus larvae
- rotund
- rotunda
- rotundity
- roturbo
- Rou
- Rouben Mamoulian
- Rouche
- Rouche theorem
- Rouché
- Rouché theorem