Mukherjee, S and Deligiannis, P and Biswas, A and Lal, A (2020) Learning-based controlled concurrency testing. In: Proceedings of the ACM on Programming Languages, 4 (OOPSLA).