Symbolic Execution of MPI Programs with One-Sided Communications.
Nenghui HuZheng BianZiqi ShuaiZhenbang ChenYufeng ZhangPublished in: APSEC (2023)
Keyphrases
- symbolic execution
- test generation
- test data generation
- static analysis
- source code
- specification language
- data flow
- parallel algorithm
- general purpose
- parallel implementation
- message passing
- high performance computing
- shared memory
- orders of magnitude
- test cases
- data sets
- software systems
- case study
- artificial intelligence