Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.

Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh

Browse the full CAV paper archive.