Login / Signup
Laura Troost
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 5
Top Topics
Flow Analysis
Symbolic Execution
Object Oriented Languages
Test Case Generation
Top Venues
ENASE
SAC
CoG
</>
Publications
</>
Laura Troost
,
Hendrik Winkelmann
,
Herbert Kuchen
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.
ENASE
(2024)
Laura Troost
,
Jonathan Neugebauer
,
Herbert Kuchen
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol.
ENASE
(2023)
Hendrik Winkelmann
,
Laura Troost
,
Herbert Kuchen
Constraint-logic object-oriented programming for test case generation.
SAC
(2022)
Laura Troost
,
Herbert Kuchen
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs.
ENASE
(2022)
Raphael Patrick Prager
,
Laura Troost
,
Simeon Brüggenjürgen
,
David Melhart
,
Georgios N. Yannakakis
,
Mike Preuss
An Experiment on Game Facet Combination\.
CoG
(2019)