A data-flow testing methodology for a dataflow based visual programming language

In this paper we extend our testing system previously presented (2001) to allow users to visually investigate intraprocedural du-associations, or du-associations that exist within the boundary of a procedure in the visual programming language Prograph.