An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution

被引：0

作者：

Troost, Laura ^{[1
]}

Winkelmann, Hendrik ^{[1
]}

Kuchen, Herbert ^{[1
]}

机构：

[1] Department of Information Systems, University of Münster, Münster, Germany

来源：

International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings | 2024年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer software selection and evaluation - Data flow analysis - Data transfer - Integration testing - Model checking - Open source software - Visualization

引用

页码：39 / 50