Testing multithreaded programs via thread speed control
ESEC/SIGSOFT FSE, pp. 15-25, 2018.
A multithreaded program's interleaving space is discrete and astronomically large, making effectively sampling thread schedules for manifesting concurrency bugs a challenging task. Observing that concurrency bugs can be manifested by adjusting thread relative speeds, this paper presents the new concept of speed space in which each vector ...More
Full Text (Upload PDF)
PPT (Upload PPT)