All-du-path Coverage for Parallel Programs.

Cheer-Sun D. Yang Amie L. Souter Lori L. Pollock

Published in: ISSTA (1998)

Keyphrases

high level programming language
shortest path
parallel processing
parallel computing
sorting algorithms
automatic programming
distributed memory machines
real time
databases
data mining
high level
expert systems
fixpoint
labeling scheme
multicore processors
set of test cases