似然程序不变量相关硕士博士期刊学术论文

程序中蕴含的不变性质即程序不变量，它用来描述程序的运行规律。目前的不变量动态发现工作采用的是试探法，分为两个阶段——首先预置......