Testing concurrency on the JVM with lincheck.

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

Browse the full PPoPP paper archive.