У кого нибудь есть идея как написать тест который проверяет выполняется ли определенный код параллельно(тесть не синхронизирован ли он случайно), то есть что-то типа реализации метода:

или наоборот проверяет что куски кода были синхронизированы:

Можно навесить какой-нибудь аспект, увеличивающий синглтоновый счетчик при входе в метод и декрементирующий его при выходе из метода. Ну и мониторить его максимальное значение - превышает ли он 1 или нет.