猎鹰 swMATH ID: 23088 软件作者： Park S、Vuduc RW、Harrold MJ 描述： Falcon：并发程序中的错误定位。并发错误很难找到，因为它们通常发生在特定的线程交错情况下。该领域的故障检测工具可以在线程交错中查找数据访问模式，但它们报告的是良性模式以及实际的故障模式。传统的错误缩放技术已成功地识别顺序、确定性程序中的错误，但它们无法检测线程之间的错误数据访问模式。本文提出了一种新的动态故障定位技术，该技术可以精确定位多线程并发程序中的故障数据访问模式。该技术监视线程之间的内存访问序列，检测与程序的通过/失败结果相关的数据访问模式，并报告具有可疑分数的数据访问模式。本文还介绍了该技术在Java中的原型实现，以及我们在几个Java基准上使用该原型进行的实证研究的结果。实证研究表明，该技术可以有效地为我们的研究对象定位错误。 主页： https://dl.acm.org/citation.cfm？id=1806838 相关软件： BIDE公司；航空工业组织；国际象棋；CloSpan公司；C触发器；快速通道；b拉链2mp；前缀跨度；金发姑娘；赛车X；橡皮擦；苏贝尔；阿达布；Daikon公司 引用于： 1文件 3位作者引用 1 Mitra Tabaei Befrouei 1 王超 1 乔治·威森巴赫 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文