Mutation Operators for Mutation Testing of Angular Web Applications Mutation Operators für Mutationstests von eckigen Webanwendungen

Augustin, Sarah; Winkelmann, Hendrik; Kuchen, Herbert (2025)
In: Mannion, Mike; Mannisto, Tomi; Maciaszek, Leszek (Hrsg.), Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik. Porto: .
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)

Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments

Herrmann, Nina; Dieckmann, Justus; Kuchen, Herbert (2024)
In: International Journal of Parallel Programming, 52(4)
Art der Publikation: Forschungsartikel (Zeitschrift)

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing

Winkelmann, Hendrik; Kuchen, Herbert (2023)
In: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek (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)

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)

Publikationen

Kontakt

Top-Links

Mutation Operators for Mutation Testing of Angular Web Applications Mutation Operators für Mutationstests von eckigen Webanwendungen Augustin, Sarah; Winkelmann, Hendrik; Kuchen, Herbert (2025) In: Mannion, Mike; Mannisto, Tomi; Maciaszek, Leszek (Hrsg.), Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik. Porto: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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)
An evolutionary algorithm for interpretable molecular representations Pflüger, Philipp M.; Kühnemund, Marius; Katzenburg, Felix; Kuchen, Herbert; Glorius, Frank (2024) In: Chem, 10(5) Art der Publikation: Forschungsartikel (Zeitschrift)
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments Herrmann, Nina; Dieckmann, Justus; Kuchen, Herbert (2024) In: International Journal of Parallel Programming, 52(4) Art der Publikation: Forschungsartikel (Zeitschrift)
Modelle zur Ergebnisvorhersage von Sumo-Kämpfen Kuchen, Robert; Kuchen, Herbert (2024) In: Memmert, Daniel (Hrsg.), Digitalisierung und Innovation im Sport und in der Sportwissenschaft: Handbuch Sport und Sportwissenschaft. Deutschland: . Art der Publikation: Forschungsartikel (Buchbeitrag)
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing Winkelmann, Hendrik; Kuchen, Herbert (2023) In: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek (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)
Modification-Impact Based Test Prioritization for Process-Driven Applications Schneid, Konrad; Thöne, Sebastian; Kuchen, Herbert (2023) In: IEEE (Hrsg.), Proceedings of 6th International Workshop on the Next Level of Test Automation. Dublin, Ireland: . 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)
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming Dageförde, Jan C.; Kuchen, Herbert (2023) In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (Hrsg.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Cham: . Art der Publikation: Forschungsartikel (Buchbeitrag)