我正在寻找关于错误发现的静态分析理论的好的介绍性文本.有什么建议？
language-agnostic static-analysis qa testing-strategies
language-agnostic ×1
qa ×1
static-analysis ×1
testing-strategies ×1