Tidbits Gleaned Over Nine Years of Concurrent Software Testing Research

Опубликовано 6 сентября 2016, 17:32

In this talk, I will share our experiences with creating tools and a methodology for testing concurrent software during the last nine years. I will start by explaining why the problem is troublesome. Then, I will cover these topics: Using tools that increase the likelihood of test failure Unit and system test methodology Evaluating concurrent coverage Finding potential deadlocks Debugging aids for concurrent software Discovering bug location in code automatically Healing concurrent programs