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 . Angers, France: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

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. Prague, Czech Republic: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Constraint-Logic Object-Oriented Programming for Test Case Generation

Winkelmann Hendrik, Troost Laura, Kuchen Herbert (2022)
In: Association for Computing Machinery (Hrsg.), 37th ACM/SIGAPP Symposium On Applied Computing. New York, NY, USA: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Publikationen

Kontakt

Top-Links

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. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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 . Angers, France: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
A Testing Tool Visualizing and Ensuring Data-Flow Coverage Troost, Laura (2024) Münster: . Art der Publikation: Arbeitspapier / Working Paper
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. Prague, Czech Republic: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Constraint-Logic Object-Oriented Programming for Test Case Generation Winkelmann Hendrik, Troost Laura, Kuchen Herbert (2022) In: Association for Computing Machinery (Hrsg.), 37th ACM/SIGAPP Symposium On Applied Computing. New York, NY, USA: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)