Synchronization Error Detection of MPI Programs by Symbolic Execution.
Xianjin FuZhenbang ChenChun HuangWei DongJi WangPublished in: APSEC (1) (2014)
Keyphrases
- symbolic execution
- error detection
- error correction
- test generation
- static analysis
- test data generation
- specification language
- error recovery
- source code
- data cleansing
- data flow
- fault isolation
- fault tolerance
- general purpose
- shared memory
- simulated annealing algorithm
- fault tolerant
- test cases
- genetic algorithm
- software testing
- description language
- neural network
- regular expressions
- genetic programming
- data model
- evolutionary algorithm