Learning-based Concurrency Testing (Speaker: Akash Lal [MSR-India])

The talk will describe QL, a learning-based framework for controlled concurrency testing (CCT), where a scheduler explores the space of possible interleavings of a concurrent program looking for bugs. In QL, the likelihood of an action being selected by the scheduler is influenced by earlier explorations. We leverage the classical Q-learning algorithm to explore the space of possible interleavings, allowing the exploration to adapt to the program under test, unlike previous techniques.