机译:MUVI:自动推断多变量访问关联并检测相关的语义和并发错误
University of Illinois;
bug detection; concurrency bug; variable correlation;
机译:DCatch:自动检测云系统中的分布式并发错误
机译:一种新颖的方法来检测多时间尺度上的相关性,具有时间演化和多变量
机译:用于检测和容忍并发错误的轻量级系统
机译:自动识别用于检查内核语义错误的安全检查
机译:检测并缓解并发错误。
机译:一种新颖的方法来检测多时间尺度上的相关性具有时间演化和多变量
机译:推断项目特定的错误模式以检测兄弟错误