Combining symbolic execution and model checking to verify MPI programs-Reference-Cited by-同舟云学术

Combining symbolic execution and model checking to verify MPI programs

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
language:
Short-container-title:

Author:

Yu Hengbiao¹

Affiliation:

1. National University of Defense Technology, Changsha, Chinaa and National University of Defense Technology, Changsha, China

Publisher

ACM

Link

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

Reference23 articles.

1. Vincent Botbol Emmanuel Chailloux and Tristan Le Gall. 2017. Static Analysis of Communicating Processes Using Symbolic Transducers. In VMCAI. 73--90. Vincent Botbol Emmanuel Chailloux and Tristan Le Gall. 2017. Static Analysis of Communicating Processes Using Symbolic Transducers. In VMCAI. 73--90.

2. Greg Bronevetsky. 2009. Communication-sensitive static dataflow for parallel message passing applications. In CGO. 1--12. 10.1109/CGO.2009.32 Greg Bronevetsky. 2009. Communication-sensitive static dataflow for parallel message passing applications. In CGO. 1--12. 10.1109/CGO.2009.32

3. Cloud9

4. Edmund M. Clarke and E. Allen Emerson. 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs. 52--71. Edmund M. Clarke and E. Allen Emerson. 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs. 52--71.

5. Edmund M Clarke Orna Grumberg and Doron Peled. 1999. Model checking. MIT press. Edmund M Clarke Orna Grumberg and Doron Peled. 1999. Model checking. MIT press.

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

1. Basis path coverage testing of MPI programs based on multi-task evolutionary optimization;Expert Systems with Applications;2024-12

2. Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

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

4. Program partitioning and deadlock analysis for MPI based on logical clocks;Parallel Computing;2024-02

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