"Good Enough" Testing of Nondeterministic Parallel Programs.
Dieter KranzlmüllerJochen MessnerChristian SchaubschlägerPublished in: PDPTA (1999)
Keyphrases
- symbolic execution
- parallel processing
- test cases
- parallel implementation
- high level programming language
- concurrent programs
- parallel hardware
- test set
- fixpoint
- finite state
- massively parallel
- shared memory
- sorting algorithms
- automatic programming
- data sets
- answer sets
- test data
- information technology
- knowledge base
- genetic algorithm
- databases