MPISE: Symbolic Execution of MPI Programs.
Xianjin FuZhenbang ChenYufeng ZhangChun HuangWei DongJi WangPublished in: HASE (2015)
Keyphrases
- symbolic execution
- static analysis
- test generation
- test data generation
- source code
- specification language
- general purpose
- message passing
- parallel algorithm
- databases
- data flow
- test cases
- shared memory
- open source
- high performance computing
- relational databases
- parallel implementation
- high level
- web services
- genetic algorithm