Race directed random testing of concurrent programs

By Koushik Sen. ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2008

417 citations recorded by the source corpus.

Subfields: Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/b87b9e47e67f4b9f44a99d15b4745246298f10b8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Information Systems

1. Sheng Wen
2. Seyit Ahmet Camtepe
3. Xiaogang Zhu
4. Manuel Egele
5. Edward J. Schwartz
6. Sang Kil Cha
7. Yang Xiang

In Software

1. Sheng Wen
2. Seyit Ahmet Camtepe
3. Xiaogang Zhu
4. Manuel Egele
5. Edward J. Schwartz
6. Sang Kil Cha
7. Yang Xiang

Citations in the corpus

• The Art, Science, and Engineering of Fuzzing: A Survey (2018, background): “However, instrumentation can also be used to trigger different non-deterministic program behaviors by explicitly controlling how threads are scheduled [189], [190], [169], [116], [131], [47], [181].”
• Fuzzing: A Survey for Roadmap (2022, background): “For concurrency bugs, the dangerous locations usually refer to code regions that result in atomicity violations [97], data races [84, 167], or suspicious interleavings [35].”