Testing concurrency on the JVM with lincheck. - Nikita Koval; Maria Sokolova; Alexander Fedorov; Dan Alistarh; Dmitry Tsitelov (PPoPP, 2020)

Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. - Nikita Koval; Alexander Fedorov; Maria Sokolova; Dmitry Tsitelov; Dan Alistarh (CAV (1), 2023)

Improved detection of discarded fish species through BoxAL active learning. - Maria Sokolova; Pieter M. Blok; Angelo Mencarelli; Arjan Vroegop; Aloysius van Helmond; Gert Kootstra (CoRR, 2024)