Efficient concolic testing of MPI applications-Reference-Cited by-同舟云学术

Efficient concolic testing of MPI applications

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th International Conference on Compiler Construction - CC 2019
language:
Short-container-title:

Author:

Li Hongbo¹,Chen Zizhong¹,Gupta Rajiv¹

Affiliation:

1. University of California at Riverside, USA

Funder

National Science Foundation

Publisher

ACM Press

Reference69 articles.

1. [n. d.]. Catching bugs with the Automated Testing System. https://computation. llnl.gov/research/missionsupport/WCI/automatedtestingsystem

2. [n. d.]. HPL: a portable implementation of the high-performance Linpack benchmark for distributed-memory computers. http://www.netlib.org/benchmark/hpl/

3. [n. d.]. Intel MPI Benchmarks User Guide. https://software.intel.com/enus/ imbuserguide

4. [n. d.]. The Yices SMT Solver. http://yices.csl.sri.com/

5. Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael D Ernst. 2008. Finding bugs in dynamic web applications. In Proceedings of the 2008 international symposium on Software testing and analysis. ACM, 261– 272.

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

1. MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR;2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2024-05-27

2. Improving Test Data Generation for MPI Program Path Coverage With FERPSO-IMPR and Surrogate-Assisted Models;IEEE Transactions on Software Engineering;2024-03

3. Evolutionary generation of test suites for multi-path coverage of MPI programs with non-determinism;IEEE Transactions on Software Engineering;2023

4. Integrating DSGEO into test case generation for path coverage of MPI programs;Information and Software Technology;2023-01

5. Test Data Generation for Path Coverage of MPI Programs Using SAEO;ACM Transactions on Software Engineering and Methodology;2021-04-30