Login / Signup
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.
Nikita Koval
Alexander Fedorov
Maria Sokolova
Dmitry Tsitelov
Dan Alistarh
Published in:
CAV (1) (2023)
Keyphrases
</>
data structure
main contribution
real time
real world
information retrieval
video sequences
lightweight
dynamically created
genetic algorithm
feature selection
programming language
theoretical framework
conceptual framework
software testing