单变量访问流图相关硕士博士期刊学术论文

在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表（VSV）......