
6 Apr
2012
6 Apr
'12
12:38 a.m.
How do you test concurrent programs in which you actually have to test over all possible interleaving schedules by the scheduler . Is this possible to do with quickcheck . Thanks , Satvik