May, 2023

使用机器学习模型并发漏洞

TL;DR通过对常见和最近的机器学习方法进行比较,将现有的自动检测并发程序中并发错误的工具进行了总结,提出了及其不同类型的机器学习模型对程序的建模时的优缺点,并给出了相应的验证结果。