Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA. - Aleksandr Potapov; Maksim Zuev; Evgenii Moiseenko; Nikita Koval (ISSTA, 2024)