1
基于概率模型检测的软件缺陷定位方法
Probabilistic model checking method for software fault location
2021年第11期 : 3387-3392,3397
doi:10.19734/j.issn.1001-3695.2021.04.0132