COMPI: Concolic Testing for MPI Applications.

Hongbo Li Sihuan Li Zachary Benavides Zizhong Chen Rajiv Gupta

Published in: IPDPS (2018)

Keyphrases

message passing
parallel algorithm
high performance computing
parallel implementation
general purpose
information retrieval
software testing
decision trees
database
probabilistic model
graphical models
test cases
pairwise
parallel processing
shared memory
decision making
parallel computing
artificial intelligence