Work

Symbolic Execution of MPI Programs with One-Sided Communications

Year: 2023

Type: conference-paper

Source: Asia-Pacific Software Engineering Conference (APSEC)

DOI: 10.1109/apsec60848.2023.00096

Authors: Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang

Institutions: National University of Defense Technology, Hunan University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, National Key Research and Development Program of China

Awards: G5815154612, G8358662718

OpenAlex ID: W4393656229

FWCI: 0.194

Cites: 7

Cited by: 1

Related to: 10