Smart Interleavings for Testing Parallel Programs.
Saved in:
| Title: | Smart Interleavings for Testing Parallel Programs. |
|---|---|
| Source: | Programming Multi-core & Many-core Computing Systems; 2017, p321-342, 21p |
| Database: | Complementary Index |
| ISBN: | 9780470936900 |
|---|---|
| DOI: | 10.1002/9781119332015.ch16 |