Guangmei Zhang, Jingxia Li. 利用变量状态转换模型进行部分软件错误的检测 (Detecting Software Error by Using State Transition Model of Variable). 计算机科学, 42(Z11):504-507, 2015. [doi]
@article{ZhangL15d,
title = {利用变量状态转换模型进行部分软件错误的检测 (Detecting Software Error by Using State Transition Model of Variable)},
author = {Guangmei Zhang and Jingxia Li},
year = {2015},
url = {http://www.jsjkx.com/EN/Y2015/V42/IZ11/504},
researchr = {https://researchr.org/publication/ZhangL15d},
cites = {0},
citedby = {0},
journal = {计算机科学},
volume = {42},
number = {Z11},
pages = {504-507},
}