理论域可满足性相关硕士博士期刊学术论文

整数缺陷是一类与整数的有限表示相关的程序缺陷,对软件系统的可靠性和安全性均有重要影响。人工审查难以发现涉及复杂程序逻辑的......