Testing concurrency on the JVM with lincheck. - Nikita Koval; Maria Sokolova; Alexander Fedorov; Dan Alistarh; Dmitry Tsitelov (PPoPP, 2020)

Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. - Nikita Koval; Alexander Fedorov; Maria Sokolova; Dmitry Tsitelov; Dan Alistarh (CAV (1), 2023)