Author:
Raza Syed Aoun,Franke Stefan,Ploedereder Erhard
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Netzer, R.H.B., Miller, B.P.: What are race conditions? some issues and formalizations. LOPLAS 1992: ACM Letters on Programming Languages and Systems 1, 74–88 (1992)
2. Artho, C., Havelund, K., Biere, A.: High-level data races. Software Testing, Verification and Reliability 13, 207–227 (2003)
3. Havelund, K., Roşu, G.: An overview of the runtime verification tool java pathexplorer. Form. Methods Syst. Des. 24, 189–215 (2004)
4. Lecture Notes in Computer Science;A. Raza,2008
5. Lecture Notes in Computer Science;A. Raza,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Library-Independent Data Race Detection;IEEE Transactions on Parallel and Distributed Systems;2014-10