_id,doi,title
14995,10.5281/ZENODO.7877757,Lincheck: A practical framework for testing concurrent data structures on JVM