[1]陈睿,杨孟飞,郭向英.基于变量访问序模式的中断数据竞争检测方法[J].软件学报,2016,27(3):547-561.