55 citations · 55 across the 5 of their papers we have counts for
1 paper · 1 filter
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…