Poster: Symbolic Execution of MPI Programs.

Xianjin Fu Zhenbang Chen Hengbiao Yu Chun Huang Wei Dong Ji Wang

Published in: ICSE (2) (2015)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
specification language
source code
data flow
general purpose
parallel algorithm
test cases
message passing
software engineering
high performance computing
software testing
convergence speed
distributed systems
database