Detecting MPI usage anomalies via partial program symbolic execution.
Fangke YeJisheng ZhaoVivek SarkarPublished in: SC (2018)
Keyphrases
- symbolic execution
- static analysis
- test data generation
- test generation
- source code
- specification language
- detecting anomalies
- anomaly detection
- data flow
- general purpose
- parallel algorithm
- test cases
- shared memory
- parallel implementation
- simulated annealing algorithm
- search algorithm
- databases
- error rate
- search space
- training set
- case study