Author:
Abbaspour Asadollah Sara,Sundmark Daniel,Eldh Sigrid,Hansson Hans ,Enoiu Eduard Paul
Publisher
Springer International Publishing
Reference21 articles.
1. Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ACM Sigplan Notices, vol. 43, pp. 329–339. ACM (2008)
2. Peri, R.: Software development tools for multi-core/parallel programming. In: 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, p. 9. ACM (2008)
3. Zhang, W., Sun, C., Lim, J., Lu, S., Reps, T.: Conmem: detecting crash-triggering concurrency bugs through an effect-oriented approach. ACM Trans. Softw. Eng. Methodol. (TOSEM) 22(2), 10 (2013)
4. Desouza, J., Kuhn, B., De Supinski, B.R., SamDofalov, V., Zheltov, S., Bratanov, S.: Automated, scalable debugging of MPI programs with Intel message checker. In: Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications, pp. 78–82. ACM (2005)
5. Godefroid, P., Nagappan, N.: Concurrency at Microsoft: an exploratory survey. In: CAV Workshop on Exploiting Concurrency Efficiently and Correctly (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent fault localization using ANN;International Journal of System Assurance Engineering and Management;2023-09-19
2. Information Retrieval-Based Fault Localization for Concurrent Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs;Lecture Notes in Computer Science;2018
4. A model for systematic monitoring and debugging of starvation bugs in multicore software;Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs;2016-09-03