Drop-in Concurrent API Replacement for Exploration, Test, and Debug
Complex concurrent APIs are difficult to reason about annually due to the exponential growth in the number of feasible schedules. Testing against reference solutions of these APIs is equally difficult as reference solutions implement an unknown set of allowed behaviors, and programmers have no way t...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2010
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/2870 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=3869&context=etd |