Login / Signup
Dominik Diner
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Petri Net
Automatically Generating
Finite State Machines
Top Venues
TAP@STAF
</>
Publications
</>
Dominik Diner
,
Gordon Fraser
,
Sebastian Schweikl
,
Andreas Stahlbauer
Generating Timed UI Tests from Counterexamples.
TAP@STAF
(2021)