Towards a framework and a benchmark for testing tools for multi-threaded programs-Reference-Cited by-同舟云学术

Towards a framework and a benchmark for testing tools for multi-threaded programs

Published:2007 Issue:3 Volume:19 Page:267-279
ISSN:1532-0626
Container-title:Concurrency and Computation: Practice and Experience
language:en
Short-container-title:Concurrency Computat.: Pract. Exper.

Author:

Eytani Yaniv,Havelund Klaus,Stoller Scott D.,Ur Shmuel

Publisher

Wiley

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software

Reference57 articles.

1. , (eds.). Parallel Program Development For Cluster Computing. Nova Science: New York, 2000.

2. . Protocol-based data-race detection. Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools. ACM Press: New York, 1998; 40–47.

3. Eraser

4. Toward Integration of Data Race Detection in DSM Systems

5. . Detecting data races in parallel program executions. Proceedings of the 1990 Workshop on Advances in Languages and Compilers for Parallel Computing, Irvine, CA, 1990. MIT Press: Cambridge, MA, 1990; 109–129.

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

1. An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs;ACM Transactions on Software Engineering and Methodology;2023-11-23

2. Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks;IEEE Transactions on Software Engineering;2023-02-01

3. Standalone Behaviour-Based Attack Detection Techniques for Distributed Software Systems via Blockchain;Applied Sciences;2021-06-19

4. Contributions to improve the combined selection of concurrent software testing techniques;Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing;2020-10-20

5. CryptoAPI-Bench: A Comprehensive Benchmark on Java Cryptographic API Misuses;2019 IEEE Cybersecurity Development (SecDev);2019-09