Parallel program testing based on critical communication and branch transformation.
Tian TianAnshi WangXiuting YangDunwei GongTie HouXiangjuan YaoPublished in: J. Supercomput. (2024)
Keyphrases
- test cases
- symbolic execution
- search based software testing
- static analysis
- programming environment
- multi party
- shared memory
- information sharing
- parallel processing
- parallel programming
- communication overhead
- computer architecture
- expert systems
- set of test cases
- information exchange
- high level programming language
- packet switched
- testing process
- multi threaded
- communication protocols
- parallel execution
- communication protocol
- instant messaging
- data acquisition
- case study
- linear transformation
- distributed memory
- evolutionary algorithm
- resource constrained
- e learning
- test set
- software testing
- test suite
- communication channels
- parallel computing
- parallel implementation
- communication networks