Tsinghua University;
University of California, San Diego;
University of Illinois at Urbana-Champaign;
University of Wisconsin-Madison;
University of California, San Diego;
Tsinghua University;
Tsinghua University;
concurrency bug; sequential bug; atomicity violation; order violation;
机译:我是否使用了错误的定义?:DeFuse:定义使用不变式来检测并发和顺序错误
机译:ConSeq:通过顺序错误检测并发错误
机译:ConSeq:通过顺序错误检测并发错误
机译:我使用错误的定义吗? defuse:定义 - 使用不变性,用于检测并发和顺序错误
机译:检测并缓解并发错误。
机译:局部晚期非小细胞肺癌的序贯(吉西他滨/长春瑞滨)和同期(吉西他滨)放疗联合基于FDG-PET的靶标量定义:I / II期研究的初步结果
机译:通过抽象解释检测高阶节目的并发错误