Learning-based controlled concurrency testing

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal. Learning-based controlled concurrency testing. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Abstract

Abstract is missing.