A randomized scheduler with probabilistic guarantees of finding bugs
2010
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. However, it improves on s...
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
23
References
22
Citations
NaN
KQI