基于缺陷关联的静态分析优化 / Optimizing Static Analysis Based on Defect Correlations
- Resource Type
- Academic Journal
- Source
- 软件学报 / Journal of Software. 25(2):386-399
- Subject
静态分析 优化 缺陷关联 抽象解释 状态切片 static analysis optimizing defect correlation abstract interpretation state slicing - Language
- Chinese
- ISSN
- 1000-9825