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

Troost, L.; Winkelmann, H.; Kuchen, H. (2024)

In: SciTePress (Hrsg.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering , 39-50. Angers, France: .

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht

Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol

Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2023)

In: SciTePress (Hrsg.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, 77-88. Prague, Czech Republic: .

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht

Constraint-Logic Object-Oriented Programming for Test Case Generation

In: (Hrsg.), , -.

| Peer reviewed

Publikationen

Betrieben von

Top-Links

Publikationen

Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2024) In: Kaindl, Hermann; Mannion, Mike; Maciaszek, Leszek A. (Hrsg.), Evaluation of Novel Approaches to Software Engineering, 251-270. Cham: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution Troost, L.; Winkelmann, H.; Kuchen, H. (2024) In: SciTePress (Hrsg.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering , 39-50. Angers, France: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
A Testing Tool Visualizing and Ensuring Data-Flow Coverage Troost, Laura (2024) Münster: . Arbeitspapier / Working Paper \| Veröffentlicht
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2023) In: SciTePress (Hrsg.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, 77-88. Prague, Czech Republic: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs Troost Laura, Kuchen Herbert (2022) In: (Hrsg.), Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 267-274. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| online first
Constraint-Logic Object-Oriented Programming for Test Case Generation In: (Hrsg.), , -. \| Peer reviewed