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