Automatic Testing of Nondeterministic Parallel Programs.
Dieter KranzlmüllerMarkus LöberbauerMartin MaurerChristian SchaubschlägerJens VolkertPublished in: PDPTA (2002)
Keyphrases
- parallel processing
- symbolic execution
- neural network
- test cases
- semi automatic
- fully automatic
- test data generation
- computer architecture
- massively parallel
- high level programming language
- sorting algorithms
- program execution
- parallel execution
- parallel architectures
- software testing
- parallel computing
- expert systems
- reinforcement learning
- artificial intelligence