An Experiment on Game Facet Combination . - Raphael Patrick Prager; Laura Troost; Simeon Brüggenjürgen; David Melhart; Georgios N. Yannakakis; Mike Preuss (CoG, 2019)

A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. - Laura Troost; Herbert Kuchen (ENASE, 2022)

Constraint-logic object-oriented programming for test case generation. - Hendrik Winkelmann; Laura Troost; Herbert Kuchen (SAC, 2022)

Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. - Laura Troost; Jonathan Neugebauer; Herbert Kuchen (ENASE, 2023)

An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. - Laura Troost; Hendrik Winkelmann; Herbert Kuchen (ENASE, 2024)