Uncovering data-flow anomalies in BPMN-based process-driven applications. - Konrad Schneid; Herbert Kuchen; Sebastian Thöne; Sascha Di Bernardo (SAC, 2021)