Testing concurrent software
Haifa Verification Conference, pp. 4-4, 2010.
testing concurrent software
This short two hour tutorial tries to teach practical techniques for testing, review and debugging of concurrent software, based on the Dr. Ur’s research and practical industrial experience in the last ten years.
PPT (Upload PPT)