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

Troost, L.; Winkelmann, H.; Kuchen, H. (2024)
In: SciTePress (eds.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering . Angers, France: .
Type of Publication: Research article in edited proceedings (conference)

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

Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2023)
In: SciTePress (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Prague, Czech Republic: .
Type of Publication: Research article in edited proceedings (conference)

Constraint-Logic Object-Oriented Programming for Test Case Generation

Winkelmann Hendrik, Troost Laura, Kuchen Herbert (2022)
In: Association for Computing Machinery (eds.), 37th ACM/SIGAPP Symposium On Applied Computing. New York, NY, USA: .
Type of Publication: Research article in edited proceedings (conference)

Publications

Contact

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. (eds.), Evaluation of Novel Approaches to Software Engineering. Cham: . Type of Publication: Research article in edited proceedings (conference)
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution Troost, L.; Winkelmann, H.; Kuchen, H. (2024) In: SciTePress (eds.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering . Angers, France: . Type of Publication: Research article in edited proceedings (conference)
A Testing Tool Visualizing and Ensuring Data-Flow Coverage Troost, Laura (2024) Münster: . Type of Publication: 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 (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Prague, Czech Republic: . Type of Publication: Research article in edited proceedings (conference)
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs Troost Laura, Kuchen Herbert (2022) In: (eds.), Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering.. Type of Publication: Research article in edited proceedings (conference)
Constraint-Logic Object-Oriented Programming for Test Case Generation Winkelmann Hendrik, Troost Laura, Kuchen Herbert (2022) In: Association for Computing Machinery (eds.), 37th ACM/SIGAPP Symposium On Applied Computing. New York, NY, USA: . Type of Publication: Research article in edited proceedings (conference)