DOI,IST REx ID,Research Group,Title of publication
10.1145/3332466.3374503,7635,DaAl,Testing concurrency on the JVM with Lincheck