Testing Concurrent Software
Schmuel Ur
- 11:30 24th November 2010 ( week 7, Michaelmas Term 2010 )Room 147, Oxford University Computing Laboratory
In this talk we discuss research in the area of concurrent testing. The first half of the talk will explain why concurrent testing is so difficult, explaining the nature of timing related bugs, and show effective testing techniques. We then look at some interesting research on automatically debugging that pinpoints bug locations and on how to "heal" programs with concurrent bugs.