MPISE: Symbolic Execution of MPI Programs.
Xianjin FuZhenbang ChenYufeng ZhangChun HuangJi WangPublished in: CoRR (2014)
Keyphrases
- symbolic execution
- static analysis
- test data generation
- test generation
- source code
- specification language
- data flow
- parallel implementation
- parallel algorithm
- test cases
- message passing
- general purpose
- high performance computing
- orders of magnitude
- neural network
- formal specification
- description language
- building blocks
- simulated annealing algorithm
- open source
- decision trees