However , traditional testing methods detect few bugs , chiefly because of the Heisenbugs problem .
Concurrent applications should execute correctly on every possible thread schedule in the underlying operating system .
Traditional testing methods detect few bugs , chiefly because of the Heisenbugs problem .
Concurrent applications should execute correctly on every possible thread schedule in the underlying operating system .