Patterns in Testing Concurrent Programs with Non-deterministic Behaviors

S Tasharofi, R Johnson - 2011 - ideals.illinois.edu
Concurrent programs are hard to test because of the non-determinism inherit in them. Since
non-determinism is one of the major sources of bugs, it is important to to be tested. We …

[PDF][PDF] Patterns in Testing Concurrent Programs with Non-deterministic Behaviors

S Tasharofi, R Johnson - Citeseer
Concurrent programs are hard to test because of the nondeterminism inherit in them. Since
non-determinism is one of the major sources of bugs, it is important to to be tested. We …

[PDF][PDF] Patterns in Testing Concurrent Programs with Non-deterministic Behaviors

S Tasharofi, R Johnson - core.ac.uk
Concurrent programs are hard to test because of the nondeterminism inherit in them. Since
non-determinism is one of the major sources of bugs, it is important to to be tested. We …