An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution Topics: Metrics; Quality Assurance; Software and System Testing In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 39-50, 2024 , Angers, France