OMX Helsinki — S&P 500 — DAX — NASDAQ 100 — STOXX 600 — EUR/USD — EUR/SEK — BTC/USD — ETH/USD — Euribor 3M — Euribor 12M —
Microsoft Research

Microsoft Research

Technology and AI 359,000 subscribers

Tidbits Gleaned Over Nine Years of Concurrent Software Testing Research

16.10.2019 48 views
Published: 16.10.2019 Category: Technology and AI Views: 48

Episode details

Episode description

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

Open the AI assistant chat. The chat loads only when you open it.