Effective and precise dynamic detection of hidden races for Java programs-Reference-Cited by-同舟云学术

Effective and precise dynamic detection of hidden races for Java programs

Published:2015-08-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
language:
Short-container-title:

Author:

Cai Yan¹,Cao Lingwei¹

Affiliation:

1. Institute of Software at Chinese Academy of Sciences, China

Funder

National Natural Science Foundation of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2786805.2786839

Reference53 articles.

1. GNU Classpath version 0.98 https://www.gnu.org/software/classpath/. GNU Classpath version 0.98 https://www.gnu.org/software/classpath/.

2. Jikes RVM 3.1.3. http://jikesrvm.org/. Jikes RVM 3.1.3. http://jikesrvm.org/.

3. Implementing jalapeño in Java

4. Variable and thread bounding for systematic testing of multithreaded programs

5. PACER

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

1. ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation;IEEE Access;2023

2. SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04

3. Sound and efficient concurrency bug prediction;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18

4. Statically driven generation of concurrent tests for thread‐safe classes;Software Testing, Verification and Reliability;2021-05-04

5. On interleaving space exploration of multi-threaded programs;Frontiers of Computer Science;2021-02-11