Testing concurrency on the JVM with lincheck.

Nikita Koval Maria Sokolova Alexander Fedorov Dan Alistarh Dmitry Tsitelov

Published in: PPoPP (2020)

Keyphrases

concurrency control
high level
data management
test cases
neural network
artificial intelligence
data structure
object oriented
knowledge base
database systems
database management systems
software systems
object oriented programming