Injecting floating-point testing knowledge into test generators
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing（2011）
关键词
control flow,fp scenario,novel fp testing knowledge,data path,control scenario,special fp test generator,general-purpose test generator,corner case,floating-point testing knowledge,fp corner case,deep fp knowledge
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要