Data-Race算法相关硕士博士期刊学术论文

JPF是NASA开发的Java程序模型检测工具。该文通过改写JPF内核中生成状态空间的模块，使待检测程序在受监控状态下模拟执行。用Data-R......