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 (eds.), Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik. Porto: .
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)

Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments

Herrmann, Nina; Dieckmann, Justus; Kuchen, Herbert (2024)
In: International Journal of Parallel Programming, 52(4)
Type of Publication: Research article (journal)

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 (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)

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)

Publications

Contact

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 (eds.), Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik. Porto: . Type of Publication: Research article in edited proceedings (conference)
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)
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) Type of Publication: Research article (journal)
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments Herrmann, Nina; Dieckmann, Justus; Kuchen, Herbert (2024) In: International Journal of Parallel Programming, 52(4) Type of Publication: Research article (journal)
Modelle zur Ergebnisvorhersage von Sumo-Kämpfen Kuchen, Robert; Kuchen, Herbert (2024) In: Memmert, Daniel (eds.), Digitalisierung und Innovation im Sport und in der Sportwissenschaft: Handbuch Sport und Sportwissenschaft. Deutschland: . Type of Publication: Research article (book contribution)
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 (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)
Modification-Impact Based Test Prioritization for Process-Driven Applications Schneid, Konrad; Thöne, Sebastian; Kuchen, Herbert (2023) In: IEEE (eds.), Proceedings of 6th International Workshop on the Next Level of Test Automation. Dublin, Ireland: . 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)
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 (eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Cham: . Type of Publication: Research article (book contribution)