Interprocedural Data-flow Testing for Visual Dataflow Languages.

Marcel R. Karam Trevor J. Smedley

Published in: IASSE (2003)

Keyphrases

data flow
object oriented software
database machine
control flow
symbolic execution
visual information
low level
visual features
expressive power
data transfer
digital signal processing
high level
systolic array
databases