Publisher
Springer International Publishing
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression;IEEE Transactions on Parallel and Distributed Systems;2023-01-01
2. Exploiting Epochs and Symmetries in Analysing MPI Programs;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
3. Symbolic Verification of Message Signatures in MPI;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
4. A predictive analysis for detecting deadlock in MPI programs;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
5. Verifying and Testing Concurrent Programs using Constraint Solver based Approaches;2020 IEEE International Conference on Software Maintenance and Evolution (ICSME);2020-09