Author:
Sumner William N.,Hammer Christian,Dolby Julian
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Artho, C., Havelund, K., Biere, A.: High-level data races. Journal on Software Testing, Verification and Reliability (STVR) 13(4), 207–227 (2003)
2. Lecture Notes in Computer Science;C. Artho,2004
3. Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Noise makers need to know where to be silent - producing schedules that find bugs. In: ISOLA 2006 (2006)
4. Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)
5. Bernstein, P.A., Goodman, N.: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2), 185–221 (1981)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces;Lecture Notes in Computer Science;2018
2. Conc-iSE: incremental symbolic execution of concurrent software;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25
3. A survey of race bug detection techniques for multithreaded programmes;Software Testing, Verification and Reliability;2014-12-19
4. DoubleChecker;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09
5. DoubleChecker;ACM SIGPLAN Notices;2014-06-05