Test Data Generation for Path Coverage of MPI Programs Using SAEO.
Dunwei GongBaicai SunXiangjuan YaoTian TianPublished in: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
- test data generation
- symbolic execution
- test cases
- simulated annealing algorithm
- search based testing
- test suite
- test case generation
- generation algorithm
- software testing
- test generation
- java programs
- message passing
- static analysis
- parallel algorithm
- shared memory
- genetic algorithm
- test data
- parallel implementation
- parallel computing
- fitness function
- multi agent
- artificial intelligence