Efficient concolic testing of MPI applications.

Hongbo Li Zizhong Chen Rajiv Gupta

Published in: CC (2019)

Keyphrases

general purpose
data sets
computationally expensive
data structure
information systems
knowledge base
web services
decision trees
multi agent
neural network
video sequences
pairwise
databases
cost effective
real time
message passing
highly efficient
parallel computing
massively parallel