Author:
Kowalewski Roger,Fürlinger Karl
Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems;Computers;2024-03-25
2. On-the-Fly Data Race Detection for MPI RMA Programs with MUST;2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness);2022-11
3. MPI-CorrBench;Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing;2021-06-21
4. Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs;Symmetry;2020-09-20
5. ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs;IEEE Access;2020