Concurrency bugs in open source software: a case study-Reference-Cited by-同舟云学术

Concurrency bugs in open source software: a case study

Published:2017-04-04 Issue:1 Volume:8 Page:
ISSN:1867-4828
Container-title:Journal of Internet Services and Applications
language:en
Short-container-title:J Internet Serv Appl

Author:

Abbaspour Asadollah Sara^ORCID,Sundmark Daniel,Eldh Sigrid,Hansson Hans

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Computer Science Applications

Link

http://link.springer.com/content/pdf/10.1186/s13174-017-0055-2.pdf

Reference38 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. Washington: ACM: 2008. p. 329–39.

2. Peri R. Software development tools for multi-core/parallel programming. In: 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Seattle: ACM: 2008. p. 9.

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). 2013; 22(2):10.

4. Desouza J, Kuhn B, De Supinski BR, Samofalov 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. St. Louis: ACM: 2005. p. 78–82.

5. Godefroid P, Nagappan N. Concurrency at Microsoft: An exploratory survey. In: CAV Workshop on Exploiting Concurrency Efficiently And Correctly. Princeton: 2008.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cross-project concurrency bug prediction using domain-adversarial neural network;Journal of Systems and Software;2024-08

2. What can we learn from quality assurance badges in open-source software?;Science China Information Sciences;2024-03-26

3. ROBUST: 221 bugs in the Robot Operating System;Empirical Software Engineering;2024-03-23

4. Modeling and Discovering Data Race with Concurrent Code Property Graphs;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22

5. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16