约束相似性相关论文
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但......
模板的应用具有知识复用及快速设计等优势,而协同模板研究旨在探讨网络环境下设计元的分解、竞争与并发机理,有利于减少网络中的信......
