Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach · Study