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

Sun, 01 Jan 2023 00:00:00 +0100

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