Elimination of Nondeterminacy for Testing and Debugging Parallel Programs.
Michael OberhuberPublished in: AADEBUG (1995)
Keyphrases
- high level
- parallel programming
- java programs
- software testing
- hardware designs
- programming language
- high level programming language
- novice programmers
- multi threaded
- test cases
- sorting algorithms
- programming environment
- computer programs
- symbolic execution
- parallel processing
- multi core processors
- parallel implementation
- program slicing
- parallel algorithm
- massively parallel
- parallel computing
- programs written
- multicore processors
- test suite
- information systems
- program execution
- concurrent programs