Decomposition of the unit test generation task for parallel computations.
Roman BazylevychPawel CzarnulAndrii FrankoPublished in: CSIT (1) (2021)
Keyphrases
- test generation
- test cases
- test sequences
- design automation
- symbolic execution
- parallel computation
- static analysis
- parallel implementation
- quality assurance
- processing units
- mutation testing
- software testing
- regression testing
- parallel processing
- cooperative
- training data
- database
- parallel computing
- distributed memory
- data exchange
- software systems
- database applications
- databases