CalFuzzer公司 swMATH ID: 2027 软件作者: 帕拉维·乔希;Mayur Naik;公园、长秀;Koushik森 描述: CalFuzzer:一个可扩展的并发程序主动测试框架。最近引入了主动测试来有效地测试并发程序。主动测试可以快速发现真实的数据竞争、死锁和原子性违规。主动测试分两个阶段进行。它首先使用不精确的离线静态或动态程序分析来识别潜在的并发错误,如数据争用、死锁和原子性冲突。在第二阶段,主动测试使用这些不精确分析的报告来显式控制并发程序的底层调度程序,以准确、快速地发现真正的并发错误(如果有),并且概率很高,开销很小。CalFuzzer实现了一个可扩展的框架,用于Java程序的主动测试。 主页: http://srl.cs.berkeley.edu/~ksen/calfuzzer/ 相关软件: SLAM公司;蜗牛;可爱的;CCured公司;z3(零3);Con2colic公司;布吉;投掷;污水处理厂;jCUTE公司;杰伦吉;CATG公司;活套;YOGI公司;MODIST公司;JPF-SE公司;SpecExplorer(SpecExplorer);BitBlaze公司;JPAX公司;ConTest公司 引用于: 2文件 全部的 前5名6位作者引用 1 阿克里蒂迪斯、佩里克利斯 1 米盖尔·卡斯特罗。 1 曼努埃尔·L·G·科斯塔。 1 帕特丽斯·戈德弗里德 1 Jean-Phillipe马丁 1 Koushik森 0连载引用 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文