Testing multithreaded programs via thread speed control-Reference-Cited by-同舟云学术

Testing multithreaded programs via thread speed control

Published:2018-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Chen Dongjie¹,Jiang Yanyan¹,Xu Chang¹,Ma Xiaoxing¹,Lu Jian¹

Affiliation:

1. Nanjing University, China

Publisher

ACM

Link

Reference41 articles.

1. {n. d.}. Cherokee. http://cherokee-project.com/. {n. d.}. Cherokee. http://cherokee-project.com/.

2. {n. d.}. The LLVM compiler infrastructure. http://llvm.org/. {n. d.}. The LLVM compiler infrastructure. http://llvm.org/.

3. {n. d.}. Transmission. https://transmissionbt.com/. {n. d.}. Transmission. https://transmissionbt.com/.

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

1. Dynamic Race Detection with O(1) Samples;Proceedings of the ACM on Programming Languages;2023-01-09

2. Peahen: fast and precise static deadlock detection via context reduction;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

3. Testing Multi-Threaded Programs by Transformation to Hoare’s CSP;2022 IEEE 2nd Mysore Sub Section International Conference (MysuruCon);2022-10-16

4. Controlled concurrency testing via periodical scheduling;Proceedings of the 44th International Conference on Software Engineering;2022-05-21