1 paper
Tingting Yu, Wei Wen, Xue Han +1
Concurrent programs are difficult to test due to their inherent non-determinism. To address this problem, testing often requires the exploration of thread schedules of a program; t…