K. Umann, G. Horváth, and Z. Porkoláb, “Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses”, Acta Cybern, Mar. 2024.