Computer Sciences Department, University of Wisconsin-Madison;
Computer Sciences Department, University of Wisconsin-Madison;
Computer Sciences Department, University of Wisconsin-Madison;
Computer Sciences Department, University of Wisconsin-Madison;
Computer Sciences Department, University of Wisconsin-Madison;
Computer Sciences Department, University of Wisconsin-Madison;
Computer Sciences Department, University of Wisconsin-Madison,GrammaTech,Inc;
software testing; concurrency bugs;
机译:ConSeq:通过顺序错误检测并发错误
机译:ConSeq:通过顺序错误检测并发错误
机译:我是否使用了错误的定义?:DeFuse:定义使用不变式来检测并发和顺序错误
机译:CONSEQ:通过顺序错误检测并发错误
机译:检测并缓解并发错误。
机译:一般实践中的错误:错误分类的开发和检测错误的方法的初步研究
机译:通过抽象解释检测高阶节目的并发错误