Поиск нестабильного кода с помощью дифференциального тестирования, управляемого компилятором. https://dl.acm.org/doi/10.1145/3582016.3582053