Fast error detection with coverage guarantees for concurrent software
Concurrency errors are notoriously difficult to debug because they may occur only under unexpected thread interleavings that are difficult to identify and reproduce. These errors are increasingly important as recent hardware trends compel developers to write more concurrent software and to provide m...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en_US |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/21452 |