“symbolic execution”的概念、定义、翻译、参考文献-科学参考

单词	symbolic execution
释义	symbolic execution Encyclopedia 理学软件安全防御释 symbolic execution符号执行一种对程序的执行路径进行系统化探索的程序分析技术。 Computer 软件工程释文 symbolic execution符号执行
随便看	模型作品模型光球模型动物模型势模型势分子动力学模型化模型匹配模型协调法模型参考自适应控制模型参考适应控制系统模型参考适应系统模型可定义集合模型合成模型大气模型大气分析模型太阳大气模型完全化模型完全性模型完全理论模型对齐模型平均预测法模型库模型库管理系统模型建立模型恒星大气

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。