Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
Scientific and Technical Journal of Information Technologies, Mechanics and Optics（2022）
关键词
weakest preconditions,symbolic execution,backward symbolic analysis,bidirectional analysis,automatic test generation
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要