Testing multithreaded programs via thread speed control

ESEC/SIGSOFT FSE, pp. 15-25, 2018.

Cited by: 5|Bibtex|Views9|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments